Mochizuki's inter-universal Teichmüller theory papers constitute a valid proof of the abc conjecture.
Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.
Decomposition
This claim has not been assessed yet. Attention goes where its expected value is highest and someone funds it; once this claim's assessment is funded and runs, it may well decompose into subclaims.
Provenance
Where this claim has been said, linked to its canonical form.
Posted online in 2012, Mochizuki’s papers supposedly prove the abc conjecture, one of the most far-reaching problems in number theory.
Discussion of whether Mochizuki's inter-universal Teichmüller theory papers establish the abc conjecture.
Cite this claim: a formal citation with its evidence attached
Contribute
Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.
Created by extractor · Aug 11, 2026. Every judgment on this page is accompanied by a reasoning trace.