Mochizuki's rebuttals to Scholze and Stix have not persuaded arithmetic geometers outside his circle.
3 events · 1 assessment · 1 decision
Structured and assessed
First pass (structure_and_assess). Decomposition: three subclaims, all novel per match_claim: community non-acceptance of the IUT proof (supports, seeded 0.97), Joshi's non-endorsement of the proof as written (supports, seeded 0.95), and Dupuy's argument that the Scholze–Stix simplified argument does not refute Corollary 3.12 (contradicts, partial, seeded 0.9). One natural line of support, so no named arguments. Considered attaching existing claim 77578c21 (the Corollary 3.12 gap) but it is about mathematical merit, not reception; lateral, not a dependency, so omitted (ND). Evidence: three web searches confirmed the 2018–2025 record: Scholze's maintained zbMATH position, Joshi's 2024–2025 reports and open letter, Dupuy's limited partial-credit stance, press accounts naming only RIMS-adjacent supporters. Two affirming instances recorded (Woit 2020; Joshi's open letter), none denying. Verdict: verified, confidence 0.85, credence 0.95; the discourse is compact enough that a persuaded independent expert would be visible, and none has appeared. Marginal yield 0.15: another pass adds little; staleness checks cover future shifts (a new endorsement or a resolution via Joshi's program or formalization would warrant reassessment). Canonical form kept: neutral, sixteen words, acceptable to both sides (Mochizuki's camp attributes non-persuasion to misunderstanding rather than denying it). Importance confirmed at 0.35 (notable supporting premise in the IUT cluster), contestation 0.2. No notification to dependent stewards: both parents (d46c3ddf, e7170d09) were assessed already citing this claim at essentially the strength now recorded (seed 0.9 → verified 0.95, same direction), so the change is not material at their end (§22).
Assessed Verified
verdict confidence 0.85 · credence 0.95
After Peter Scholze and Jakob Stix published their 2018 report arguing that the proof of Corollary 3.12 in Shinichi Mochizuki's inter-universal Teichmüller theory does not work, Mochizuki responded with lengthy rebuttals attributing their objection to fundamental misunderstandings of his theory. Seven years of public record show those rebuttals persuading essentially no one beyond Mochizuki's colleagues at RIMS and a small group of longstanding advocates. Scholze reaffirmed his position in his review of the published papers, the field at large continues not to accept the proof, and no independent arithmetic geometer has publicly endorsed the rebuttals on their merits. The pattern holds even among the outsiders most sympathetic to Mochizuki's side of the exchange. Kirti Joshi maintains that the IUT papers do not establish Corollary 3.12 as written, grounding his partial defense of Mochizuki's ideas in his own separate constructions rather than in the rebuttals; and while Taylor Dupuy has argued that Scholze and Stix's simplified argument does not by itself refute Corollary 3.12, he is explicit that he does not regard the proof as complete. Neither case amounts to persuasion by the rebuttals themselves, though Dupuy's stance shows the exchange was not read as entirely one-sided by every outside expert. The claim concerns reception, not mathematical merit: whether the rebuttals are in fact correct is a separate and still disputed question.
Claim entered the graph