Gap in Mochizuki's proof of ABC confirmed by Lean
By ogogmad · 2026-07-18 · 23 points · 1 comments
https://twitter.com/FumiharuKato/status/2078017230537892207
By ogogmad · 23 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews