OpenAI一夜甩出722篇数学论文，黎曼猜想、霍奇猜想全上阵，数学家们彻底疯了

📌 核心要点：OpenAI一口气公开722篇数学手稿，覆盖372组研究成果，涉及准黎曼猜想、霍奇猜想等顶级难题。每篇算力消耗相当于ChatGPT Pro跑3小时。全部论文、源码和部分Lean形式化证明已开源。

昨天数学圈炸了。

不是因为谁证了哥德巴赫猜想，而是因为OpenAI——那个做ChatGPT的公司——一夜之间往GitHub上甩了722篇数学论文。

你没看错，722篇。

不是什么灌水会议论文，是正儿八经的数学研究手稿。涵盖372组独立研究成果，涉及的方向包括但不限于：准黎曼猜想、霍奇猜想、BSD猜想——随便拎一个出来，都是让数学家们秃头几十年的硬骨头。

一个AI实验室，为什么要搞数学？

先说背景。

这批论文不是OpenAI随便写着玩的。它们来自一个尚未发布的内部模型，专门用来做数学研究。你可以理解为：OpenAI造了一个"AI数学家"，然后让它没日没夜地干活，干出了722篇论文的活。

这个系统尝试了大约4000个数学问题。不是那种"1+1等于几"的问题，是真正的数学前沿难题。最终有372组结果被整理成论文，也就是每10个尝试里，差不多有一个能出成果。

这个成功率，说实话，比很多人类博士生高多了。

算力成本是另一个让人咋舌的数字。

据OpenAI披露，每篇论文的平均算力消耗，大约相当于ChatGPT Pro连续运行3小时。722篇论文下来，光计算资源就是一笔天文数字。

但OpenAI显然不心疼。因为他们要证明的不是"我能烧多少钱"，而是"AI到底能不能做真正的科学研究"。

答案是：至少在半数学领域，能。

这批论文里有部分成果已经用Lean语言完成了形式化证明。Lean是什么？简单说就是一种数学证明的"编译器"——你把证明过程写成代码，机器帮你验证逻辑有没有漏洞。能过Lean的证明，基本就是"铁板钉钉"级别。

最让学术界震动的，不是数量，而是态度。

OpenAI把全部722篇论文、所有源码，以及部分Lean形式化证明都上传到了GitHub。任何人都可以看，可以验证，可以在此基础上继续研究。

这招很聪明。

一方面，开源意味着透明。你不是说自己做了722篇论文吗？来，你自己看，自己验。堵住了所有"又是AI忽悠"的嘴。

另一方面，开源也是邀约。全球数学家现在可以集体审阅这些成果，挑刺的、补完的、扩展的，都会蜂拥而至。722篇论文可能只是起点，后面跟着一整个AI辅助数学研究的新范式。

很多人可能会问：AI写论文，那数学家是不是要失业了？

短期内不会。这722篇论文里，大部分是"推进半步"式的工作——在已有框架下找到新的证明路径、推广到新的情形、发现新的结构关系。真正的"从零开辟一个全新领域"，AI还做不到。

但中长期来看，事情就不一样了。

当一个AI系统能同时尝试4000个数学问题，能在一夜之间产出722篇论文，人类数学家的角色就会从"生产者"变成"筛选者"和"方向制定者"。你告诉AI"往哪个方向挖"，AI负责"挖出结果"。

这个模式一旦成熟，数学研究的效率可能提升一个数量级。

而OpenAI这次做的，就是给全世界打了一针强心剂：看，AI不是只会写网文、做PPT，它真的能啃硬科学。

接下来，就看数学界怎么接招了。