OpenAI一夜公布722篇数学手稿，准黎曼猜想被证明

美国时间10月6日，OpenAI一口气公开722篇数学手稿，全部出自一款尚未发布的内部前沿模型。成果被整理为372组相关结果，据The Verge报道，独立咨询小组AGMAI称其中包含对**"数百个"开放问题的解答，平均每项消耗的算力约相当于ChatGPT Pro思考3小时**。论文、源码与部分Lean形式化证明已上传GitHub。

OpenAI表示，发布方式参考了普林斯顿高等研究院数学与AI独立咨询小组（AGMAI）的建议，成果放上GitHub仓库openai/math并配套论文修订与引用规范，许多证明附Lean形式化版本——一种可由计算机检查的证明语言。这波发布酝酿已久：据《连线》报道，OpenAI自8月底训练该内部模型，除解决纳维-斯托克斯千禧年难题外还攻克100多个悬案；8月曾召集约40位数学家闭门讨论发布方式，9月又因流体力学证明撞车与归属争议与学界关系紧张；AGMAI 9月底呼吁实验室及时公开成果、走学术渠道，勿把成果当营销工具。

最夺目的是编号003的准黎曼猜想：OpenAI声称，ζ函数及所有狄利克雷L函数在实部大于7/8的半平面内无零点，另一独立证明给出11/12版本并一致排除朗道-西格尔零点。此前数学家连"实部大于0.99的竖带内无零点"都证不出，若获证实将是数论领域的历史性突破。千禧难题还有两道被触及：BSD猜想在特定余秩条件下拿到完整公式，霍奇猜想覆盖复乘阿贝尔簇与K3曲面乘积；另有有理数域上的希尔伯特第十问题被否定解决、π的无理性指数被压到理论最优值2（此前约7.1）、唯一游戏猜想在列，目录横跨17个方向。

OpenAI披露，模型此前尝试约4000个研究问题，绝大多数按同一固定流程跑出，仅ζ函数无零点区域与复乘阿贝尔簇上的霍奇猜想两篇例外，其中11/12版本那篇还经人工编辑。但数学界并未照单全收：手稿核验进度不一，部分尚无Lean证明，AGMAI声明"咨询不代表认可结果或过程"；数学家Francesco Maggi质疑数百份证明若无人去读、去消化，价值何在，陶哲轩称AI发展"太疯狂"，维拉尼以"浩劫"形容冲击。OpenAI一方则兴奋得多：研究员苏炜杰称这是对"智能"认知的"哥白尼式转变"，奥特曼直言"我们正进入一个全新的发现时代"。OpenAI已经交卷，数学界的阅卷才刚刚开始。