Gap in Mochizuki's proof of ABC confirmed by Lean
1 min read
Article URL: https://twitter.com/FumiharuKato/status/2078017230537892207
Comments URL: https://news.ycombinator.com/item?id=48963019
Points: 9
# Comments: 1
1 min read
Article URL: https://twitter.com/FumiharuKato/status/2078017230537892207
Comments URL: https://news.ycombinator.com/item?id=48963019
Points: 9
# Comments: 1