OpenAI公开722篇数学手稿，AI要颠覆数学界了吗

OpenAI再度成为舆论焦点。今日，一则消息震动了全球数学界与人工智能领域：OpenAI在未作任何预警、也未经同行评审的情况下，公开发布了由其内部前沿模型生成的数学新成果。他们直接上线了一个名为math的GitHub项目仓库，其中收录了722篇数学手稿，宣称攻克了372个此前长期悬而未决的顶级数学难题。

这批成果中最受关注的是拟黎曼猜想的证明，并且附带了Lean形式化验证。倘若该成果最终被确认，不仅将成为数论领域的划时代突破，也将被载入人工智能发展史册。据称，解决这些难题仅需调用一个尚未对外发布的内部模型，平均消耗约3小时算力。

数学家们对此反应强烈，认为OpenAI此举无视学术规范，破坏了学界长期恪守的礼仪。事实上，早在今年8月，OpenAI就曾秘密邀请40位全球顶尖数学家召开会议，探讨若人工智能在纯数学领域全面超越人类应如何应对。彼时，OpenAI便透露其内部模型已突破上百个悬案，会场氛围复杂，兴奋与恐惧交织。

学者们恳切呼吁OpenAI依照学术惯例发表严谨论文，为人类研究者留出消化与验证的时间。然而，OpenAI最终选择了以粗暴方式公布成果，甚至提前宣布了纳维-斯托克斯方程的突破。部分数学家将其做法比作黑帮行径，担忧科技寡头将垄断智慧权力。

在所有成果当中，准黎曼猜想的攻克尤为引人瞩目。黎曼猜想被誉为数论中的“皇冠明珠”，现代数论的诸多定理均以其成立为基石。OpenAI证明了所有狄利克雷L-函数在实部大于7/8的半平面内不存在零点，从而彻底排除了朗道-西格尔零点。尽管距最终目标仍有距离，但这已是解析数论半个世纪以来最重大的飞跃。

除此之外，OpenAI还解决了“基本半定阈值下的普通NP-困难”问题，这是计算机科学领域的一大重要难题。AI借助一系列创新方法，首次在脱离唯一游戏猜想的前提下，基于标准P≠NP假设确立了Basic-SDP阈值的普通NP-困难性。

在其他方向上，AI同样取得了显著进展，包括霍奇猜想的部分证明、乘法函数的两点相关性以及对称与一般马勒猜想等。这些成果表明，AI不仅掌握了人类的数学框架，还发展出了属于自己的直觉。

面对如此强大的AI模型，数学家们既感到恐惧又感到兴奋。Bryna Kra表示，必须适应这种变化，这是一个令人恐惧但也极其令人兴奋的时代。古典数学或许已经落幕，但人类对真理的探索才刚刚起步。