罗盘 / IUT 证明验证·结束共同体僵局
暗星档案 · 未点亮的星IUT 证明验证·结束共同体僵局
本条为初评草案（AI 辅助编目）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
IUT 证明验证·结束共同体僵局T4 量级 · 亮星
京都的定理·别处的猜想·数学同行评审的信任危机
所属星云究极真理·数学的圣杯理解万物
暗星编号DS-0898
轴E · 能量与能力前沿
领域fundamental-science
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
abc猜想是数论中关于加法与乘法结构关系的核心猜想，望月新一2012年宣称用其自创的'宇宙际Teichmüller理论'(IUT)证明了它，论文历经八年审稿于2020年在其主编的日本期刊发表。但2018年起，菲尔兹奖得主Peter Scholze与Jakob Stix公开指出证明核心'推论3.12'存在无法修补的逻辑缺口，望月方坚持反驳，双方分歧核心在于Scholze所称的'冗余副本'重构是否合法，至今(2026年)未达成共识。攻破意味着要么第三方数学家用独立方法补全或重新证明该猜想，要么明确指出IUT路线的错误所在，结束这场持续十余年、被称为'数学同行评审失效样本'的僵局。
卡在哪 · 机制级卡点
卡在IUT理论本身极度原创、几乎无人能在其框架内独立复核每一步逻辑——全球能读懂全部四篇论文细节的数学家屈指可数，望月新一本人拒绝按对方框架重新表述论证，双方对'什么算合法的数学论证'本身存在认知分歧，这不是计算或数据问题，是数学共同体验证机制的根本性僵局。
谁在攻
望月新一 京都大学数理解析研究所教授（IUT理论提出者，坚持原证明成立）；Peter Scholze 波恩大学教授/马克斯·普朗克数学研究所（2018年公开指出推论3.12逻辑缺口）；Jakob Stix 法兰克福大学教授（与Scholze联合撰写批评报告）
怎么参与
代数数论/算术几何研究生课程（学习）；关注arXiv上关于IUT争议的独立评述论文（研究）；数论/算术几何方向博士（职业）