罗盘 / abc 猜想·独立证明或否证
暗星档案 · 未点亮的星abc 猜想·独立证明或否证
本条为初评草案（AI 辅助编目 · 评于 2026-07-16）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
abc 猜想·独立证明或否证T5 量级 · 新星
三个互质整数的和里，藏着数论里最深的争议
所属星云究极真理·数学的圣杯理解万物
暗星编号DS-0437
轴R · 风险与文明安全
领域fundamental-science
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
abc猜想断言：若a+b=c且a、b、c互质，则c的大小被a、b、c的根基（不同素因子之积）的某次幂严格限制。若成立，可一步推出费马大定理的渐近版本、Mordell猜想等一大批数论结果。日本数学家望月新一2012年宣称用「宇宙际Teichmüller理论」证明，但2018年Scholze与Stix指出致命缺陷，学界至今普遍不接受该证明。
卡在哪 · 机制级卡点
望月的证明工具极度晦涩、几乎无人能独立核实，国际主流数学界（Scholze/Stix为代表）认定论证有漏洞，而京都大学团队坚持证明成立，双方长期未能达成共识，问题本身仍被视为未解决。
谁在攻
京都大学数理解析研究所（望月新一及其支持者，坚持IUT证明有效）；亚利桑那大学 Kirti Joshi 持续发布基于IUT思路的替代证明尝试；柏林洪堡大学 Peter Scholze 团队持续公开质疑并核查
怎么参与
先扎实学好代数数论与算术几何基础，跟读 Scholze/Stix 的公开批评文章与望月的公开博客，理解争议双方论点比直接啃IUT理论更实际