Gap in Mochizuki's proof of ABC confirmed by Lean
ogogmad
27 points
1 comment
July 18, 2026
Related Discussions
Found 5 related stories in 83.9ms across 5,215 title embeddings via pgvector HNSW
- AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug YeGoblynQueenne · 14 pts · July 30, 2026 · 49% similar
- GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] scrlk · 411 pts · July 10, 2026 · 41% similar
- Dinitz-Garg-Goemans conjecture is false bifftastic · 12 pts · July 22, 2026 · 39% similar
- Are We Stuck with Lean? jjgreen · 135 pts · July 30, 2026 · 39% similar
- How Gödel's Proof Works (2020) tzury · 89 pts · August 13, 2026 · 39% similar
Discussion Highlights (1 comments)
r721
/r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...