用计算机解决有争议的数学证明的秘密项目
一群秘密工作两年多的数学家已经出发来解决现代数学史上最长、最艰辛战斗的问题之一。
新科学家 By
10 April 2026
一群秘密工作两年多的数学家已经出发来解决现代数学史上最长、最艰辛战斗的问题之一。
新科学家 By
10 April 2026
新浪博客
2012年，茂木真一（Shinichi Mochizuki）发表了一篇声称为数论中的ABC猜想提供一个证明的论文。Newscom/Alamy
在现代数学中最被艰辛竞争的证明之一可能在被解开的边沿上。两个都目标在用一个计算机程序揭示这个争议的项目现在正起来并运行，一项已经在秘密中运行两年多。数学家们说，这些进展是一个该争议可能找到一个解决方案的积极迹象。
这场传奇始于2012年。当时日本京都大学的茂木真一宣称了已经证明了一个著名的叫ABC猜想的想法，在网上发布了长达500页的证明。这个猜想陈述是简单的：关注在对方程a+b=c中涉及的质数和这些数字如何相关彼此的。但解决它需要深入洞察加法和乘法如何相互作用的本质。答案也对其他数学学科有深远的影响。
参见
https://www.newscientist.com/article/2522687-the-secret-project-to-settle-controversial-maths-proof-with-a-computer/