ABC 猜想与望月新一的证明尝试
2012年望月新一以宇宙际Teichmüller理论声称证明ABC猜想，学界分歧至今。
背景
ABC猜想（约1985年由Oesterlé与Masser提出）是数论中关于加法结构与乘法结构关系的深刻猜想，被称为”丢番图方程最重要的猜想”。
详细描述
设 为正整数 的不同素因子之积（根）。ABC猜想表述为：对任意 ，满足 、 的正整数三元组 中，使得
成立的只有有限多个。
该猜想威力惊人：若成立，可立即推出费马大定理（更短的论证）、莫德尔猜想（带有效界）、卡塔兰猜想等大量经典结果。
2012年8月30日，日本数学家望月新一（京都大学数理解析研究所RIMS）发布四篇预印本（约500页），提出”宇宙际Teichmüller理论（IUT）“，声称不仅证明ABC猜想，还证明更强的结果（强Szpiro猜想、双曲Vojta猜想等）。
求解过程 / 影响（含最新进展若相关）
望月的证明使用了全新的、极难理解的框架，至今数学界分歧严重：多数数论专家未能接受；2018年，著名数学家彼得·舍奥策（Peter Scholze）与雅各布·施蒂克斯（Jakob Stix）明确指出IUT第三篇中”推论3.12”存在”无法以小幅修改挽救”的漏洞，而望月予以反驳。截至2025年，该证明尚未被学界普遍认可（2020年论文在望月任主编的RIMS期刊发表，引发争议）。近期有以Lean证明助手形式化验证IUT的项目启动，试图厘清这一最富争议的现代数学公案。