OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来

Maggi的态度很有代表性。他并不反对用AI做数学，但他担心的是，结果产出的速度已经远远超过了人类能理解的速度，数学家只能在后面追着AI跑。

其实，这批手稿发布前，OpenAI也找数学家专门喝过茶，试图做做工作。

据WIRED消息，8月，OpenAI召集约40名数学家，讨论成果该怎么发布。

西北大学数学家Bryna Kra等人希望看到写得清楚、能让同行阅读和引用的论文。

部分与会者称，他们当时以为OpenAI不会一次放出所有成果；OpenAI发言人则表示，公司不清楚有过这样的承诺。

9月的流体力学争议，又让气氛变得更紧张。

当时，NYU数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge公开了三篇流体方程爆破证明，同样配有Lean形式化。

几乎同一时间，OpenAI发布了纳维–斯托克斯证明。

Buckmaster表示，原本想再花时间把证明写得好读一些，最终因外部压力提前发布。

随后，Buckmaster一方与OpenAI围绕研究进度和成果归属起了争执，双方拿出了相近/相同的结果，而OpenAI否认Buckmaster此前使用Codex时的提示词影响了自己的模型。

就连曾经最爱AI、逢人就安利AI工具的陶哲轩，也忍不住踩刹车了。

9月，他在加州理工的一场演讲中说，AI发展的速度「太疯狂了」，没有理由这么快！

AI公司简直就跟疯了一样。

菲尔兹奖得主Cédric Villani，在看到OpenAI拿下千禧难题之一的纳维–斯托克斯方程后，也直接瘫软了。。。

我大受震撼……

简直跟世界末日一样，这是数学界有史以来从未见过的浩劫。

<img decoding=