OpenAI一夜攻克722个数学难题 准黎曼猜想被证明

时间：2026年10月6日（美东时间傍晚6点） 地点：GitHub 公开仓库 openai/math 人物：OpenAI 内部未发布的前沿模型、Sam Altman、IAS 数学与人工智能独立顾问组（AGMAI） 事件详情：OpenAI 在 GitHub 一次性放出 722 篇数学手稿，归为 372 个"结果家族"，覆盖数论、代数几何、理论计算机科学、概率论、数学物理、偏微分方程等 17 个方向。 最具分量的成果包括：003 号"准黎曼猜想"——证明所有 Dirichlet L 函数（含黎曼 ζ 函数）在实部大于 7/8 的整个半平面内没有零点，并附带 Lean 形式化证明与一致的 Landau–Siegel 零点排除；102 号正面证明 Subhash Khot 2002 年提出的唯一游戏猜想，给出 Max–Cut、顶点覆盖等经典问题的最优近似难度门槛；074 号同解 3D Kakeya 极大函数猜想与 4D 豪斯多夫维数猜想；对所有复乘阿贝尔簇证明有理霍奇猜想，并扩展到 K3 曲面与 Tate 猜想；004 号否定有理数域上的希尔伯特第十问题；002 与 006 号证明密度为 1 的椭圆曲线二次扭曲族满足完整 BSD 公式。 背景：每个结果平均消耗相当于约 3 小时 ChatGPT Pro 思考算力，模型在评估中接到约 4000 道开放研究问题，所有手稿日期集中在 9 月 23 日至 10 月 5 日之间，主要在两周内批量产出。OpenAI 表示现有数学基准已被模型"刷满"，因此转向真正的悬案；发布前与普林斯顿高等研究院的 9 人独立顾问组进行了协商，遵循其 9 月 29 日发布的负责任发布指引。 影响：GitHub 仓库 3 小时内突破 2000 stars，Sam Altman 发文称"我们正进入一个发现的新时代"；数学界反应两极，西北大学数学家 Bryna Kra 形容现场气氛"极致的兴奋与极致的恐惧并存"，纽约大学客座教授 Nestor Guillen 怒斥 OpenAI 行为"像黑帮"。背景是 8 月 OpenAI 曾秘密召集 40 位顶级数学家闭门讨论，而 25 位菲尔兹奖得主（含陶哲轩）已就其纳维-斯托克斯公开方式联名发声警告。 总结：722 篇手稿将 AI 推到数学发现舞台的中央，其中 235 族（约 63%）附有 Lean 形式化说明，但仍有 560 余篇未形式化的结果"可能存在问题"需要修订；这既是 AI 推理能力的里程碑，也对数学出版的同行评审机制构成强烈冲击，OpenAI 表示将资助相关研讨会和工作坊推动社区消化这些结论。 参考来源： https://openai.com/index/sharing-ai-progress-in-mathematics/ https://github.com/openai/math/ https://www.36kr.com/p/4015128916676736 https://news.qq.com/rain/a/20261007A03GPM00 https://news.qq.com/rain/a/20261007A03YX700 https://agihunt.info/en/p/1a1144631b8b65b78426222e93b https://huggingnews.com/ai/openai-math-release-includes-claimed-progress-on-three-millennium-prize-29a7cc5e https://cellcog.ai/blog/openai-math-results