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 100.7ms across 9,716 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
- Fermat's Last Theorem in Lean 4 aaraujo002 · 83 pts · September 04, 2026 · 45% similar
- What mathematicians should know about the Lean Theorem Prover: reliability & AI matt_d · 76 pts · October 09, 2026 · 42% similar
- Prime Gaps at Most 186 simonpure · 49 pts · September 03, 2026 · 41% similar
- GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] scrlk · 411 pts · July 10, 2026 · 41% similar
Discussion Highlights (1 comments)
r721
/r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...