OpenAI发布722篇数学手稿引争议，拟黎曼猜想等难题获突破

【科技纵览】今日，全球数学与人工智能领域遭遇了一场前所未有的“地震”。OpenAI在毫无预警、未经同行评审的情况下，于GitHub公开了名为“math”的项目库，内含722篇由内部前沿模型生成的数学手稿。这一举动不仅打破了学术界长期遵循的发表礼仪，更因涉及372个此前悬而未决的顶级数学难题家族而引发轩然大波。

在这批成果中，最引人注目的莫过于对“拟黎曼猜想”的证明及同步发布的Lean形式化验证。若该结果经证实无误，这将是数论领域的历史性跨越。据披露，绝大多数难题的求解仅耗时约3小时，依托的是未发布内部模型的ChatGPT Pro思考算力。OpenAI首席执行官萨姆·奥特曼在社交平台X上宣称：“我们正进入一个全新的发现时代。”然而，这种“简单粗暴”的发布方式激怒了众多学者。纽约大学客座教授Nestor Guillen直言，科技巨头的行径如同“黑帮”，令学界感到极度恐慌，担忧人类最高维度的智慧权力被少数寡头垄断。

事实上，矛盾早已埋下伏笔。《连线》杂志披露，今年8月OpenAI曾秘密召集40位顶级数学家闭门研讨，议题直指“若AI在纯数学领域全面超越人类，该如何应对”。西北大学教授Bryna Kra回忆，现场气氛是“极致的兴奋与恐惧并存”。尽管学者们苦劝其按学术规范发表论文，给予人类消化时间，但OpenAI仍选择以这种方式宣示主权，甚至被指提前截胡了纳维-斯托克斯方程的突破。部分工程师私下认为，“古典数学在今天已经死了”，AI将终结大多数职业数学家的生涯。北大校友、OpenAI研究员苏炜杰则将此比作哥白尼式的范式转变开端。

在具体技术突破上，编号Result 003的成果正面冲击了数学界的“皇冠明珠”——黎曼猜想。虽然尚未完全抵达实部ℜs=1/2的最终目标，但该模型证明了所有狄利克雷L-函数在实部ℜs>7/8的半平面内绝对无零点，彻底消灭了阻碍多年的“朗道-西格尔零点”。这是解析数论半个世纪以来罕见的飞跃。此外，在计算机科学领域，编号Result 102的研究攻克了“基本半定阈值下的普通NP-困难”。该成果在脱离“唯一游戏猜想”（UGC）假设的前提下，纯粹基于P≠NP框架，确立了Basic-SDP阈值的普通NP-困难性，锁死了多项式时间算法的理论边界。

另一项重大进展来自编号Result 01的手稿，AI证明了复数域上具有复乘（CM）的阿贝尔簇在所有维度上的“有理霍奇猜想”，并将结论扩展至射影复K3曲面及有限域上的泰特猜想。通过Kuga–Satake对应代数化及变分延拓等技术手段，AI在霍奇猜想上撕开了巨大缺口。此外，手稿还涵盖了对Chowla猜想、Mahler猜想等数论与凸几何难题的解决。

面对这些充满“直觉转移”与“构造性反例”的手稿，学界意识到AI已不再仅是模式匹配工具，而是具备了某种形式的数学直觉。Bryna Kra表示，这是一个令人恐惧却也极其兴奋的时代，人类必须适应新的运作方式。当百余项世纪难题的答案以数据流形式静卧于代码库中，古典数学的传统探索模式或许正在落幕，而硅基智能驱动的新真理探索之旅，才刚刚启程。