A maths proof that is only true in Japan
a year ago
- #Proof Controversy
- #Mathematics
- #abc Conjecture
- 望月新一在2012年发表的宇宙际Teichmüller理论（IUT）旨在解决数论中的重要难题——abc猜想。
- abc猜想涉及方程a + b = c中整数不同质因数的乘积，认为该乘积通常大于c。
- 由于理论复杂性和独特方法，望月的证明最初遭到质疑，鲜有数学家能在未经其亲自指导的情况下理解该理论。
- 2018年数学家Peter Scholze和Jakob Stix指出证明中存在关键缺陷（特别是猜想3.12），但望月及其支持者对此提出异议。
- 尽管存在争议，望月的论文仍于2021年通过同行评审发表，但被质疑存在利益冲突。
- 支持者成立「宇宙际几何中心」，悬赏100万美元征询IUT理论的反证，同时设立奖项鼓励相关研究。
- Kirti Joshi声称已通过修正猜想3.12的错误解决争议，但其工作既遭到望月的敌视，也受到Scholze的质疑。
- 虽然理论上可用形式化证明验证器检验该证明，但因流程过于复杂尚未实现，目前其有效性主要局限在日本数学界。