Claimed proof of the abc conjecture
Prueba propuesta de la conjetura abc (teoría interuniversal de Teichmüller)
- Date
- 2012 · confidence high
- Place
- Kyoto (RIMS), Japan
- Credited to
- Shinichi Mochizuki
- People
- 👤 Shinichi Mochizuki1969–
- Field
- Knowledge & symbols
⚠️ Disputed: the sources disagree.
What was discovered
More than 500 pages of new theory that, according to its author, prove the abc conjecture, with enormous consequences for number theory. Published in 2021 in a journal of RIMS itself, it is not accepted as a proof by the international community.
Scholze and Stix pointed out a gap in Corollary 3.12 in 2018, which Mochizuki denies; it is the most notable dispute in mathematics today.
What it led to
- the debate over verification and consensus in mathematics
- attempts at formalisation
Built on
- abc conjecture (Oesterlé and Masser, 1985)
- anabelian geometry