新浪博客

来解决数学中最大争议的努力已经没有做出任何进展

2026-07-23 14:46阅读：

http://blog.sina.cn/dpool/blog/u/2614811577

来解决数学中最大争议的努力已经没有做出任何进展
十多年来，数学家们一直不能够来安顿是否 “ABC猜想“已被解决。新鲜来安顿这场争论的尝试正挣扎来开前头的路。
新科学家 By Matthew Sparkes
21 July 2026
Mathematics

来解决数学中最大争议的努力已经没有做出任何进展

来证明ABC猜想是欺骗的棘手的。plainpicture/Muckenheim, Frank
迄今为止一个带明确表达清晰性到数学的最争议领域的试图已经没有得出任何东西。 数学家们一直工作在用计算机检查
ABC猜想的一个明显的证明上，但一个中期报告说仍有要克服的严重的障碍。
2012年，日本京都大学的望月新一用他的500页的《ABC猜想证明》惊讶了全球。一个关于方程a+b=c和涉及的数字能被分解成更小质数的欺骗性的简单的猜想。在茂木信一出来之前，数学家们数十年已挣扎来找到一个证明。
问题是很少人实际上理解并因此验证他的证明，该证明铰在望月新一创造的叫宇宙际泰希米勒理论（IUT）理论的全新数学领域上。 因此，有一小群人激烈的相信该证明是清楚的，但其他人仍不信服的。
然而，双方都同意的一件事是计算机公式化可能够解决这个问题。 这涉及用软件在这个案例中一个叫Lean的编程语言以代码代表数学论证； 随后计算机检查是否整个证明是正确的。
为做这个冒出了两个项目：一个由望月新一本人运行的，一个由日本ZEN数学中心运行叫“Lean和阿纳贝尔几何（LANA）”项目。
Lean和阿纳贝尔几何项目现已发布了一份关于它的工作的中期报告，远不是定出一个望月新一十多年来一直试图来解释的，似乎已经变得陷在了这个问题中。
按照报告，Lean和阿纳贝尔几何项目成员已有过“生动的讨论”，但还没有登陆在关于是否宇宙际泰希米勒理论成立或不成立的一个结论性决定上。论文写道：“成员们关于这个点不能够达成完全共识” 。
他们提到一个他们叫“墙”的问题，该问题相关到2018年由两位杰出的数学家德国波恩大学的彼得·舒尔茨和法兰克福歌德大学的雅各布·施蒂克斯描述的宇宙际泰希米勒理论中的一个缺陷。 报告定出这两人提出的问题至今多困扰宇宙际泰希米勒理论并已经表现了它对公式化不可渗透的。
《新科学家》杂志已联系报告中列出的Lean和阿纳贝尔几何项目五位核心成员评论，但尚未收到一个响应。
伦敦玛丽女王大学的阿比谢克·萨哈说，大多数数学家视宇宙际泰希米勒理论理论为一个缺陷的理论，报告支持这个。萨哈说，“大多数人相信有一个严重的差距，” “我认为这份特殊的报告完全与它已经不能设法公式化它一致——这正是如果这个大理论有一些严重的差距我们会预期的” 。
大量的数学已经被建立在宇宙际泰希米勒理论之上，如果它被证明是不正确的这些将会处在危险中；英国约克大学的克里斯·鲍曼-斯卡吉尔说，但那个真的大多数数学家相信它将是。
但宇宙际泰希米勒理论理论仍有它的相信一个公式化的证明将及时浮现的啦啦队。
中国西湖大学的伊万·费先科说，“人们跟随了[舒尔茨]的意见，接受这应是最最的真相， [但]他的对宇宙际泰希米勒理论的看法是完全错的” 。
https://www.newscientist.com/article/2580313-effort-to-solve-biggest-controversy-in-mathematics-has-made-no-progress/

我的更多文章

下载客户端阅读体验更佳

APP专享