Gap in Mochizuki’s proof of ABC confirmed by Lean July 19, 2026 by bashar This article was originally posted on Hacker News by ogogmad (Score: 18 points).Read Full ArticleView on Hacker News
