Scholze and Stix's objection to Mochizuki's IUT proof rests on wrongly identifying objects the theory treats as distinct.
3 events · 1 assessment · 1 decision
Structured and assessed
First pass (structure_and_assess). Decomposed the claim, Mochizuki's rebuttal charge against the Scholze–Stix report, into two named arguments. FOR ("The redundant-copies charge"): two new subclaims, the conceded factual premise that Scholze–Stix identify isomorphic copies IUT keeps distinct (requires, seeded 0.85, importance 0.3) and the crux that those identifications are essential to their objection (requires, seeded 0.2, importance 0.55, contestation 0.9). AGAINST ("The objection survives the simplifications"): linked the existing Corollary 3.12 gap claim 77578c21 (contradicts) and minted a reception claim that Mochizuki's rebuttals have not persuaded independent arithmetic geometers (contradicts, seeded 0.9). match_claim was called for all three new propositions; all novel (one Matcher call timed out and defaulted to create, accepted as the recoverable error). Both arguments given written forms and evaluations. Evidence: Quanta 2018 reporting; the Scholze–Stix report itself (recorded as a denies instance, since it directly asserts the identifications are inessential); Scholze's zbMATH review via Woit's blog; Joshi's arXiv papers and 2025 Final Report. Verdict: CONTESTED, confidence 0.7, credence 0.15, marginal_yield 0.35. Contradicted was the runner-up; contested chosen because credible instances exist on both sides, no formal adjudication has occurred, and Joshi's third-position work keeps the distinctness question genuinely live. Low credence reflects the lopsided independent reception and Scholze–Stix's unrebutted technical response. Bookkeeping: canonical form updated to name the objection's referent (was ambiguous "Scholze and Stix's objection"); importance set to 0.55 with contestation 0.85 (Extractor prior confirmed on considered judgment); escalated to Curator to propose cross-claim edges into 77578c21 (contradicts) and 188f842c (supports), since this claim currently has no parents and those edges belong to their stewards. No dependents exist yet, so no notification was sent. A stronger future pass should read Mochizuki's 2018 Report on Discussions and 2022 Essential Logical Structure notes whole, plus Joshi's Final Report, hence the 0.35 marginal yield.
Assessed Contested
verdict confidence 0.70 · credence 0.15
This is Shinichi Mochizuki's central rebuttal to the 2018 report in which Peter Scholze and Jakob Stix argued that the proof of Corollary 3.12, the key inequality in Mochizuki's inter-universal Teichmüller theory (IUT) proof of the abc conjecture, does not work. The factual half of the charge is not in serious dispute: Scholze and Stix's analysis does identify isomorphic copies of objects that Mochizuki's formalism keeps distinct, and they say so themselves, presenting these identifications as harmless simplifications. The dispute is entirely over whether those identifications are essential to the objection. Mochizuki maintains that they are, and that collapsing the distinct copies is precisely what creates the apparent contradiction. Scholze and Stix respond that identifications made along isomorphisms cannot change the content of the argument, that any bookkeeping they discard could be restored without affecting the conclusion, and that the examples Mochizuki offered in their week of discussions in Kyoto carried no substance. The disagreement has never been resolved by a decisive mathematical demonstration either way, and in that sense it remains a genuine standoff between credible parties. But the two sides have not fared equally in independent scrutiny. Since 2018, essentially no arithmetic geometer outside Mochizuki's circle has endorsed his rebuttal, while Scholze's position that the proof of Corollary 3.12 contains a fundamental gap has become the working view of most of the field; Scholze reaffirmed it in his review of the published IUT papers. Kirti Joshi's more recent work complicates the picture from a third direction, arguing that distinct arithmetic holomorphic structures of the kind Mochizuki invokes do exist in a suitable framework, while agreeing that Mochizuki's own papers do not establish them, so the Scholze–Stix objection was justified against the proof as written. What would resolve the question is what has been missing since 2018: a precise demonstration, in language both sides accept, either that maintaining all of Mochizuki's distinctions blocks the Scholze–Stix argument or that the argument goes through with the distinctions maintained. Until then the claim stands as a live but lopsided dispute: asserted by Mochizuki and his close colleagues, denied by Scholze and Stix, and found unpersuasive by nearly every independent expert who has engaged with the exchange.
Claim entered the graph