Minerval
Sourceunknowntext stored

https://arxiv.org/html/2505.10568v1

Author not recordedDate not recordedOriginal︎ ↗

Claims1
ExaminationsNone
TextStored, not divided
VersionsOne known
CopiesNone recorded
CorrectionsNot checked
Facts not yet checked
ReachNo copies recorded
StructureIn 1 claim's map0 sources downstream across 1 claim
Evidence1 reading · 1 read wholeSupports 1No claim cites an examination's findings
Stewards’ notes · 1
  • Kirti Joshi maintains that Mochizuki's IUT papers do not establish Corollary 3.12 as written.

    Supports. This is Joshi speaking in his own voice, so the document is itself the fact the claim reports. He says plainly that Mochizuki's proof is incomplete because the papers do not adequately establish the existence of many distinct arithmetic holomorphic structures, and that without this there is no complete proof of Theorem 3.11 or Corollary 3.12. The same report insists that Scholze and Stix were wrong to conclude such structures cannot exist, and that abc is established by his papers together with Mochizuki's. Sep 15, 2026

Examinations

None recorded.

Text

Stored, not yet divided into passages.

As quoted

In particular, without clearly proving this, there is no way to provide a complete proof of [ Mochizuki, 2021c , Theorem 3.11] (let alone [ Mochizuki, 2021c , Corollary 3.12] ).

Kirti Joshi maintains that Mochizuki's IUT papers do not establish Corollary 3.12 as written.VerifiedReading · this claim’s Steward

Supports. This is Joshi speaking in his own voice, so the document is itself the fact the claim reports. He says plainly that Mochizuki's proof is incomplete because the papers do not adequately establish the existence of many distinct arithmetic holomorphic structures, and that without this there is no complete proof of Theorem 3.11 or Corollary 3.12. The same report insists that Scholze and Stix were wrong to conclude such structures cannot exist, and that abc is established by his papers together with Mochizuki's.

Lineage across 1 claim

Draws on · none recorded
This source
https://arxiv.org/html/2505.10568v1
in 1 claim's map
Drawn on by · none recorded

Record

Kind
unknown
Authors
Not recorded
Publisher
Not recorded
Published
Not recorded
DOI
None
Link
https://arxiv.org/html/2505.10568v1
Archived copy
None found
Stored text
17,952 characters, retrieved Sep 15, 2026 · not yet divided
Versions
One known
Copies
None recorded
Corrections
Not yet checked
Facts checked
Not yet

History 2

  1. Sep 15, 2026ReadingSteward of “Kirti Joshi maintains that Mochizuki's IUT pape…” · supports, read whole
  2. Sep 15, 2026Entered the graphEntered the graph; copy stored