AI证明准黎曼猜想，接下来会怎样？

AI攻下“准黎曼猜想”，数学家开始拆解这份证明 OpenAI在2026年10月6日公布的377项成果中，有一项格外扎眼：它宣称解决了“准黎曼猜想”——黎曼猜想的弱化版本，而后者被公认为数学界最大的未解难题。斯坦福大学的Jared Duker Lichtman评价说，这是“迄今为止AI在数学领域最重要的成就，而且领先幅度相当大”。更关键的是，与近期其他AI数学证明不同，这一次人类专家已经把证明拆开、逐步验证过了。 要理解这件事的分量，得先知道黎曼猜想是什么。这个猜想自1859年提出，悬而未决超过160年，核心是黎曼ζ函数非平凡零点的位置——说白了，它描述的是素数（只能被1和自身整除的整数，常被称为“算术的原子”）在数轴上如何逐渐稀疏。克雷数学研究所在世纪之交列出七大“千禧年大奖难题”，黎曼猜想是唯一一个从希尔伯特一个世纪前的问题清单里延续下来的。而“准黎曼猜想”虽然弱一些，纽约大学的Maksym Radziwiłł却说，它的影响“令人震撼”：“某种意义上，黎曼猜想的大部分推论，准黎曼猜想已经能推出来。” 真正让数学家意外的，是证明的形态。人们原本以为，攻克这类问题必然要引入全新概念，但这份证明没有——它做的是把旧概念之间隐藏的联系挖了出来。佐治亚理工学院的Alexander Dunn说：“这个证明是对众所周知的想法的一次出人意料的综合。”值得一提的是，证明部分依赖了Radziwiłł和Dunn本人开创的技术，如今他们正和其他数论学家一起消化这份证明的含义，并开始得到答案。对AI从业者和关注AI能力边界的人来说，这件事的意义不在于“AI又赢了一局”，而在于AI开始产出能被人类专家完整验证、且不靠堆砌新概念就能成立的数学成果——这比一个孤立的结论更值得跟踪。