Friday, Jul 24, 2026 The claims desk. Receipts included. POWERED BY LENZ
IsThis

SCIENCE

The Claim

The ABC conjecture has been proven as of March 18, 2026.

The Short Version

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."

Caveats

  • Leading experts Scholze and Stix identified a 'serious, unfixable gap' in Mochizuki's proof that has never been satisfactorily resolved.
  • The RIMS journal that published the proof was effectively overseen by Mochizuki himself, creating a significant conflict of interest.
  • Joshi's 'Final Report' claiming the proof is complete only holds 'provided his enhancements are accepted' — a condition the broader mathematical community has not fulfilled.

The Receipts

  1. Titans of Mathematics Clash Over Epic Proof of ABC Conjecture - Quanta Magazine

    Quanta Magazine

  2. Latest on abc | Not Even Wrong - Columbia Math Department

    Not Even Wrong - Columbia Math Department

  3. The Most Controversial Proof in Mathematics Ever - YouTube

    youtube.com

  4. Controversial math proof divides experts in bitter academic dispute - Earth.com

    Earth.com

  5. The latest two chapters of ABC Conjecture drama - YouTube

    YouTube

  6. 「abc予想」証明正否に私財で賞金1.4億円、数学界の混乱に決着を - Forbes JAPAN

    Forbes JAPAN

  7. The A-B-C's of the abc Conjecture | samlowe.dev

    samlowe.dev

  8. [Math] Mochizuki and the abc-Conjecture: War At the Fringes of Pure Mathematics - Reddit

    Reddit

  9. The ABC Conjecture Has Probably Not Been Proven - Dispatches From Turtle Island

    Dispatches From Turtle Island

  10. The latest in the abc-conjecture feud : r/math - Reddit

    Reddit

Filed Under

ABC conjecture