Gap in Mochizuki's proof of ABC confirmed by Lean

Article URL: https://twitter.com/FumiharuKato/status/2078017230537892207 Comments URL: https://news.ycombinator.com/item?id=48963019 Points: 9 # Comments: 1