Gap in Mochizuki's proof of ABC confirmed by Lean

4 weeks ago 13

Article URL: https://twitter.com/FumiharuKato/status/2078017230537892207

Comments URL: https://news.ycombinator.com/item?id=48963019

Points: 9

# Comments: 1

Read Entire Article