数学圈炸窝：OpenAI 一举攻克722个数学难题！

今天，全球数学界和AI界都被一条消息震住了。
OpenAI没有提前打招呼，没有经过同行评审，也没按学术界多年来的规矩来。它直接发布了一批由内部模型生成的数学成果，挂上GitHub，项目名就叫“math”。里面是722篇数学手稿，涉及372个此前没解决的顶级数学难题。OpenAI说，这些难题绝大多数是一个还没发布的内部模型平均花3小时跑出来的。奥尔特曼在X上发文说：我们正在进入一个全新的发现时代。

但数学家们愤怒了。早在今年8月，OpenAI就秘密召集40位全球顶级数学家闭门开会，议题很直接：如果AI在纯数学领域全面超越人类，我们该怎么办？当时OpenAI已经透露，其内部模型突破了上百个悬案。西北大学数学家Bryna Kra回忆，现场气氛是“极致的兴奋与极致的恐惧并存”。学者们劝OpenAI：不要再像网红一样只发推特或简短博客，一定要按学术规范发表论文，给人类学者留下消化和验证的时间。

然而OpenAI没有这样做，甚至提前截胡了纳维-斯托克斯方程的突破。纽约大学客座教授Nestor Guillen愤怒地说：在数学家眼里，这些AI巨头的行径简直就像黑帮。大家恐慌，不仅因为AI本身，更因为人类最高维度的智慧权力，正在被极少数科技寡头垄断。
有人透露，部分OpenAI工程师私下认为：古典数学在今天已经死了，AI将终结大多数职业数学家的生涯。OpenAI研究员苏炜杰则说：这就像人类对智能这一概念宛如哥白尼一般的范式转变的开始。

在所有成果中，最让数论界疯狂的是编号Result 003的工作——它正面撕开了黎曼猜想的大门。黎曼猜想是数学界公认的“皇冠上的明珠”，现代数论中成百上千个定理都建立在它成立的地基上。它断言ζ(s)的所有非平凡零点都在实部ℜs=1/2的直线上。160多年来，人类甚至难以排除它在远离1/2区域的零点。而且还潜伏着一个“朗道-西格尔零点”的幽灵——某些狄利克雷L-函数可能在极其靠近1的实数轴上存在异常零点。
OpenAI的模型全面攻克了“准黎曼猜想”：证明了所有狄利克雷L-函数在整个实部ℜs>7/8的半平面内绝对不存在任何零点，而且彻底消灭了朗道-西格尔零点。OpenAI坦承，绝大多数问题由模型全自动跑出，唯独黎曼Zeta函数无零点区域的工作，研究团队进行了严密的人工审查和润色。虽然还没完全抵达最终的ℜs=1/2，但将无零点区域推进到固定的常数界，并一致性排除西格尔零点，这已经是解析数论半个世纪以来前所未有的飞跃。

在计算机科学领域，编号Result 102的工作同样颠覆。现实世界中，芯片布线、物流调度、航线规划、图着色等大量优化问题都是NP-Hard。人类在多项式时间内算不出最优解，只能找近似解。过去二十年，无数理论计算学者梦寐以求的目标就是：能否脱离UGC，在纯粹的P≠NP框架下，直接证明Basic-SDP阈值对应的间隙问题本身就是普通NP-Hard的？AI做到了。它首次在完全脱离UGC的前提下，纯粹基于标准P≠NP确立了Basic-SDP阈值的普通NP-困难，彻底锁死了人类有效近似算法的理论边界。

在Result 01手稿中，AI还攻克了霍奇猜想的重大堡垒：全面证明了复数域上具有复乘的阿贝尔簇在所有维度和余维度上的“有理霍奇猜想”。OpenAI特别说明，这一证明属于打破常规流程的特殊重点突破。AI还将成果扩展到射影复K3曲面的任意有限乘积，并顺带证明了有限域上所有阿贝尔簇的泰特猜想以及任意特征下的霍奇标准猜想。

面对这样平均只要3小时就能产出顶级成果的模型，人类数学家该怎么办？Bryna Kra说：“我们在这个领域必须适应。这改变了我们的运作方式，但这也是一个我们可以将目光放得更长远的时刻……这是一个令人恐惧的时代，但也绝对是一个极其令人兴奋的时代。”
当这100多项悬而未决的世纪难题的答案，像冰冷的数据流一样躺在GitHub代码库里时，古典数学的时代或许已经结束了。但人类对于真理的“硅基式探索”，才刚刚开始。
#科学新闻# #OpenAI 一举攻克722个数学难题# #人工智能#