- 发布日期
OpenAI 一夜攻克722个数学难题 准黎曼猜想已被证明
- 作者
- 姓名
- 荷鲁斯快报
- 社交账号
【导语】OpenAI 于本周在其 GitHub 仓库（github.com/openai/math）中发布了一个名为 math 的开源项目，包含 722 篇数学手稿，覆盖了 372 个此前悬而未决的顶级数学难题家族。其中最引人注目的成果是：一个尚未发布的内部 AI 模型完成了对“准黎曼猜想”的证明，即证明所有狄利克雷 L-函数在实部 ℜs>7/8 的半平面内不存在任何零点，并同步发布了 Lean 形式化验证。这一成果如果通过同行评审，将是解析数论领域半个多世纪以来最重大的突破之一。
【背景】据《连线》杂志披露，早在今年 8 月，OpenAI 就曾秘密召集 40 位全球顶级数学家举行闭门会议，抛出议题：“如果 AI 在纯数学领域全面超越人类，我们该如何应对？”当时 OpenAI 已隐晦透露其内部模型攻克了上百个悬案。西北大学数学家 Bryna Kra 回忆称，现场“极致的兴奋与极致的恐惧并存”。然而，学者们曾恳请 OpenAI 按学术规范发表严谨论文，留给人类学者消化和验证的时间，但 OpenAI 最终选择了以最直接的方式公之于众。
【关键细节】根据 OpenAI 的官方披露，绝大多数难题的证明仅花费其未发布模型平均约 3 小时的 ChatGPT Pro 思考算力。722 篇手稿中，最具分量的成果包括编号 Result 003 的准黎曼猜想证明（将无零点区域推进至 7/8 和 11/12，并彻底排除朗道-西格尔零点）、编号 Result 102 的“基本半定阈值下的普通 NP-困难”证明，以及编号 Result 01 的霍奇猜想重大进展。CEO 山姆·奥特曼（Sam Altman）在 X 平台上发文表示：“我们正进入一个全新的发现时代。”
【技术细节】在黎曼猜想方向，OpenAI 模型证明了所有狄利克雷 L-函数在 ℜs>7/8 的半平面内绝对不存在零点，虽然尚未抵达最终目标 ℜs=1/2，但将无零点区域推进至固定常数界并一致性排除西格尔零点，已是解析数论半个世纪以来的惊人飞跃。在理论计算机科学方面，模型首次在完全脱离“唯一游戏猜想”（UGC）的前提下，纯粹基于标准 P≠NP 假设，确立了 Basic-SDP 阈值的普通 NP-困难性，从而锁死了人类近似算法的理论极限。在霍奇猜想方向，AI 利用 Kuga-Satake 对应代数化，证明了复数域上具有复乘（CM）的阿贝尔簇在所有维度上的“有理霍奇猜想”，并将其扩展至 K3 曲面及有限域上的泰特猜想。
【影响】这一消息对数学界和学术生态产生了深远影响。纽约大学客座教授 Nestor Guillen 愤怒地控诉称，AI 巨头的行径“简直就像黑帮”，人类最高维度的智慧权力正被极少数科技寡头垄断。部分 OpenAI 工程师甚至私下表示：“古典数学在今天已经死了，AI 将以不可阻挡之势，终结大多数职业数学家的生涯。”与此同时，普通科研工作者也面临着被 AI 系统性超越的焦虑，学术期刊的同行评审机制面临前所未有的压力——当一篇论文在 3 小时内由 AI 自动生成时，传统审稿流程几乎无法应对。
【各方反应】业界反应两极分化。OpenAI 研究员苏炜杰（北大数学校友、统计学考普斯会长奖得主）将其比作哥白尼式的范式转变，认为这是“人类对智能概念革命的开始”。数学界则普遍表达了愤怒和恐慌，认为未经充分审阅的“学术截胡”破坏了科学共同体的信任机制。有分析人士指出，OpenAI 在纳维-斯托克斯方程研究上的提前行动，进一步加剧了学术界对其动机的质疑。普通用户和科技爱好者则在社交媒体上表达了对“数学大爆炸”的震撼，许多人认为这是 AI 发展史上的里程碑时刻。
【未来展望】OpenAI 表示将逐步公开更多推理过程（reasoning traces），并接受社区检验。下一步的关键在于这些证明能否通过严格的同行评审和形式化验证。如果准黎曼猜想的证明最终被数学界接受，现代数论中建立在其基础上的成百上千个定理将获得坚实根基，密码学、量子计算等领域也将迎来连锁反应。同时，学术界可能会加速推动新的合作范式，探索人机协同的研究模式，以应对 AI 在纯数学领域持续加速的突破。
【宏观背景】从更宏观的视角看，这一事件标志着 AI 在科学研究中的角色正从“辅助工具”转变为“独立发现者”。当前，谷歌 DeepMind 的 AlphaProof 已在国际数学奥林匹克竞赛中达到银牌水平，而 OpenAI 此次的成果在深度和广度上远超此前所有 AI 数学能力的展示。随着大模型推理能力的指数级增长，AI 驱动的科学发现（AI for Science）正成为全球科技竞争的焦点。这场“学术大爆炸”不仅重新定义了数学研究的边界，也预示着一个由 AI 主导的知识生产新时代的到来。
