2 published verifications about ABC conjecture ABC conjecture ×
“The abc conjecture in number theory is true.”
The abc conjecture has not been established as true. Mainstream mathematics continues to treat it as an open problem because Mochizuki’s proposed proof remains disputed, and recent verification efforts report unresolved issues. This verdict concerns the unsupported assertion of settled truth; no counterexample has proved the conjecture mathematically false.
“The ABC conjecture has been proven as of March 18, 2026.”
The ABC conjecture has not been proven in any broadly accepted sense as of March 18, 2026. While Mochizuki's proof was published by RIMS in Kyoto, leading mathematicians including Peter Scholze and Jakob Stix identified a serious, unfixable gap that remains unresolved. The RIMS publication carries a conflict of interest, and Joshi's subsequent defense is explicitly conditional on acceptance of enhancements the community has not endorsed. As of early 2026, the conjecture remains "a theorem in Kyoto, a conjecture everywhere else."