北京时间10月7日清晨，OpenAI在GitHub上一次性发布了722篇数学手稿，并将其归入372个”结果族”，覆盖数论、几何、理论计算机科学、数学物理等17个领域。没有预警，没有同行评审，这批成果直接以仓库形式砸向全世界。
722篇手稿从何而来
据OpenAI披露，这722篇手稿全部由一个尚未发布的内部前沿模型自动产出。在评估过程中，模型被提出了约4000个数学研究问题，绝大多数结果都是模型全自动跑出来的。
更惊人的是算力账：平均每个成果的耗费，约等于ChatGPT Pro连续思考三个小时。也就是说，这套流程把过去数学家以年为单位的工作，压缩到了以小时计。
清单上的名字，足以让任何学过研究生数学课程的人停下来多看几眼：准黎曼猜想、四维挂谷猜想、唯一游戏猜想、自由群因子同构问题、有理数域上的希尔伯特第十问题、CM阿贝尔簇的霍奇猜想、马勒猜想……这些问题里，有的悬置了半个世纪以上，有的曾是菲尔兹奖级别工作的延伸方向。
最重磅：准黎曼猜想被证明
在所有成果中，编号003的准黎曼猜想最先引爆社交媒体。OpenAI的模型证明：对所有狄利克雷L函数，在实部大于7/8的半平面内不存在任何零点，同时彻底排除了长期困扰数论界的朗道-西格尔零点。
黎曼猜想断言zeta函数的所有非平凡零点都落在实部为1/2的直线上，是数学界公认的”皇冠明珠”。此前一百多年，人类只能证明零点自由区域随虚部增大而不断贴近实部为1的竖线，始终撑不出一条固定宽度的无零点竖直带。
OpenAI这次将无零点区域一口气推进到固定的7/8，配套论文还给出了Lean形式化验证。虽然尚未抵达最终的1/2，但这一结果已被视为解析数论半个世纪以来前所未有的飞跃。
学界为何炸锅
与成果的震撼程度相比，发布方式引发了更大争议。就在9月下旬，普林斯顿高等研究院托管的数学与人工智能咨询小组AGMAI刚发布建议，呼吁AI实验室通过成熟学术渠道发布成果，并披露模型名称、提示词与算力成本。
OpenAI表示正在与AGMAI合作制定最佳实践，CEO奥特曼则发推称”我们正进入一个全新的发现时代”。但数学界的情绪显然更复杂。据披露，今年8月OpenAI曾秘密召集40位顶级数学家闭门讨论”AI在纯数学领域全面超越人类该如何应对”，当时其内部模型已经突破了上百个悬案。西北大学数学家Bryna Kra回忆，现场气氛是”极致的兴奋与极致的恐惧并存”。
数学被”工业化”了吗
有研究者统计，AI解决前沿数学问题的数量从8月的10个、9月的100多个，猛增到10月的700多个，环比增长接近十倍。克雷研究所尚未认可相关证明，OpenAI也声明不会申领千禧年奖。
对普通用户而言，这场争论的意义在于：AI的能力边界正从”回答问题”延伸到”发现答案”。当模型能在数小时内产出数学家需要数年才能验证的成果，人类需要重新思考的，不只是数学的未来，还有验证与信任的方式。接下来的同行验证，将是检验这批成果成色的关键一步。
© 版权声明
文章版权归作者所有，未经允许请勿转载。
