OpenAI 一次性放出 722 份数学手稿，数学家说要消化好几年

数学界被砸懵了。OpenAI 用一个尚未发布的前沿模型，一次性放出了 722 份手稿、近 400 项数学研究成果，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率统计和数学物理。

四十多位受访的数学家翻遍词库，找出这些形容：“惊人”“难以承受”“前所未有”“超现实”“纯粹的疯狂”。

数量大到没法审

先看体量。传统数学期刊一年发多少篇？这些手稿是几天内倾倒出来的。多位数学家的共识是：光是把这批内容读明白，可能就要花上数年——理解之后的验证、同行评议、融入现有体系，更是遥遥无期。

OpenAI 提供了 GitHub 仓库，甚至配了导航指南，但截至发布时只有约 42%（约 300 份）完成了 Lean 形式化验证。剩下的大多数，没有机器辅助的证明背书。

质量翻车与真金共存

发布不到一天，三份预印本被撤回——一份关键证明里发现了符号错误。另外还有一个 Navier-Stokes 相关结果，被承认存在“数学翻译成代码”时的错误。此前 OpenAI 就因论文写作潦草、引用缺失被专家批评过。

但有意思的是，这次数学家们的第一印象普遍好于预期。斯坦福数学家 Jared Duker Lichtman 数出了“数十项”够分量的成果，包括对黎曼猜想的推进、霍格猜想的一个特例情形，以及四维 Kakeya 猜想的解决——黎曼猜想和霍格猜想都是千禧年大奖难题，四维 Kakeya 的三维版本今年刚给王虹挣回一枚菲尔兹奖。有研究者直言，其中一些工作是冲着菲尔兹奖去的水平。

有人的一辈子工作没了

热闹背后是冷冰冰的冲击。纽约大学的 Tristan Buckmaster 透露，已经听说有三位数学家的整个研究计划被这次发布“彻底推翻”。博士生和青年学者受伤最重——那些大猜想正是他们的论文、经费和职业规划的支点，现在支点没了。

Brown 大学的 Brendan Hassett 说得更直接：“我最熟悉的那份手稿，快速读下来没什么道理。要是人写的，我根本不会多花时间——当然，后面还排着 721 份。”

这场发布真正的问题已经不是“AI 能不能做数学”，而是整个学科怎么消化一个不睡觉的生产者。数学家们自己给的期限是：好几年。