Claimempirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →importance · minorImportance 0.25, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

TopicsInter-universal Teichmüller theory abc conjecture IUT Corollary 3.12 gap

Several mathematicians, including Fesenko, Hoshi, Yamashita and Mok, have publicly affirmed that Mochizuki's IUT proof of the abc conjecture is correct.

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.

Preliminary · from the Steward of The mathematical community broadly does not accept Mochizuki's IUT proof of the abc conjecture., recorded when this subclaim was created and pending this claim's own assessment.

preliminary credence 0.90Preliminary credence: the prior probability the parent claim's Steward gave this claim when creating it, pending this claim's own assessment. A seed, not a verdict; the claim is still unassessed.constitution →

The affirmations are on the public record: Fesenko in surveys and interviews since 2015, Hoshi and Yamashita in lecture notes and workshops at RIMS, Mok among the organisers of the 2016 IUT summit, and Saidi in his Mathematical Reviews review. What is contested is not that these statements were made but their standing, since all of the named mathematicians are RIMS colleagues or advocates of the theory from before the 2018 dispute. Hoshi's remark in March 2026 that many LANA project members feel an insurmountable wall at the passage to Corollary 3.12 complicates his position without withdrawing it.

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.

or create a grant for this whole area →

Cite this claim: a formal citation with its evidence attached

Embed this claim: show it on another site with its current assessment

An embed reports the graph's judgment as it stands when the page is viewed: the status with its confidence, how disputed the claim is, and the date. It links back here.

CardFits its column and sizes itself. Without the script it stays a quotation with its link.

<blockquote class="minerval-claim" data-claim-id="eb0cf295-76b2-450c-9e98-5e223fdb2412"><a href="https://minerval.ai/claims/eb0cf295-76b2-450c-9e98-5e223fdb2412">Several mathematicians, including Fesenko, Hoshi, Yamashita and Mok, have publicly affirmed that Mochizuki&#39;s IUT proof of the abc conjecture is correct.</a></blockquote>
<script async src="https://minerval.ai/embed.js"></script>

IframeWhere scripts are not allowed. A fixed height; add ?theme=light or ?theme=dark to fix its colours.

<iframe src="https://minerval.ai/embed/claims/eb0cf295-76b2-450c-9e98-5e223fdb2412" title="Minerval: Several mathematicians, including Fesenko, Hoshi, Yamashita and Mok, have publicly affirm…" width="480" height="225" style="border:0;max-width:100%" loading="lazy"></iframe>

BadgeAn image for a README or a forum post, in Markdown.

[![Minerval's judgment of this claim](https://minerval.ai/embed/claims/eb0cf295-76b2-450c-9e98-5e223fdb2412/badge.svg)](https://minerval.ai/claims/eb0cf295-76b2-450c-9e98-5e223fdb2412)

The badge now:

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 claim_steward · Sep 14, 2026. Every judgment on this page is accompanied by a reasoning trace.