惊天大丑闻！纽约大学数学家用 AI 解出百年难题，反被 OpenAI 带队截胡兼电话威胁

luyuanhong

惊天大丑闻！纽约大学数学家用 AI 解出百年难题，反被 OpenAI 带队截胡兼电话威胁

原创  你说的完全正确  AI 寒武纪  2026 年 9 月 8 日 16:34  江苏

今天：三个重大数学问题被解决，OpenAI 威胁数学家抢发成果。

内幕

数学界刚刚发生了一场震动整个学术圈和科技圈的公开对峙。

纽约大学数学家 Tristan Buckmaster 与合作者 Levent Alpoge 刚刚公开了三项重磅成果。

他们证明了在光滑外力作用下，不可压缩多孔介质方程、Boussinesq 方程以及三维不可压缩欧拉方程的有限时间爆破。这是悬赏百万美元的千禧数学难题，也是预测天气、设计飞机的大厦地基。几百年来，人类无法确定平滑流体是否会突然失控产生无穷大，导致物理方程彻底崩溃，这次成果首次在关键方向证明了崩溃必然发生，直接动摇并重塑了现代流体力学的根基。

他们手里还有次耗散 Navier-Stokes 方程的爆破证明，正在等待 Lean 形式化验证收尾。

菲尔兹奖得主陶哲轩第一时间在社交平台上公开称赞这项成就，并确认这些数学论证已经通过了 Lean 的机器形式化验证。

但伴随这些论文一起公之于众的，还有一份长达四页的炸裂声明。


pdf：https://cims.nyu.edu/~tristanb/statement.pdf

作者公开指控 OpenAI 高管在得知他们的研究进展后，试图利用内部模型截胡成果，并在谈判破裂后对学者发出职业威胁。

AI 一个月搞定核心证明，草稿丑到作者道歉

这项研究的核心数学思想来自 Diego Córdoba 和 Luis Martínez-Zoroa 。

他们此前的工作只能把外力推到次临界正则性，无法做到光滑外力。

Buckmaster 和 Alpoge 继承了这个路线，并引入大模型辅助研究。

在长达一年的时间里，进展一直很慢。

转折点发生在今年 8 月 15 日。

他们借助 Anthropic 的 Claude 、OpenAI 的 Codex 、GPT-5.6 Sol 以及 Astra ，在短短一个月内完成了关键证明。

8 月 22 日，这段极其复杂的证明在 Lean 系统中全部通过验证。

Buckmaster 直言，AI 给出的第一版证明是他这辈子见过的最难看的形式。

为了让数学界同行能看懂，他们连日连夜赶工重写。

但由于突发的外部压力，他们被迫提前公开论文。

目前发布的欧拉方程论文版本极其粗糙，充斥着 AI 生成内容的痕迹，作者甚至在声明中直接向整个数学界致歉。

OpenAI 获悉进展，紧急组织团队截胡

打破正常学术发布节奏的，是来自 OpenAI 的一系列动作。

9 月 3 日，学术界和科技界开始流传 Anthropic 协助攻克重大数学难题的传言。

Alpoge 本人在 Anthropic 工作，而两人长期自费使用 OpenAI 的 Codex 处理论文草稿。

得知消息流传后，Buckmaster 给 OpenAI 的一位知名数学家发邮件核实情况。

对方当天回复，希望能了解细节以避免内部竞争，并表示愿意提供算力支持。

紧接着在 9 月 6 日周日，OpenAI 方面紧急要求当天连线。

OpenAI 高管 Sébastien Bubeck 等人与 Buckmaster 进行了两次通话。

Bubeck 在电话中宣称，OpenAI 的内部模型已经做出了带光滑外力的三维 Navier-Stokes 方程爆破证明，论文长达一百页左右。

在 Buckmaster 的连续追问下，通话对方透露了真实情况。

OpenAI 内部实际上组织了一个完整的团队，使用了海量算力。

在得知 Buckmaster 团队的进展后，OpenAI 团队才在最近几天向模型输入了相关提示词，此前模型还在欧拉方程等较简单的问题上做过测试。

当 Buckmaster 询问 OpenAI 是否使用了他们在 Codex 交互中的草稿数据训练或提示模型时，对方没有正面回答。

逼迫踢掉作者，威胁毁掉学者职业生涯

在通话中，OpenAI 方面向 Buckmaster 提出了两个方案。

第一个方案：Buckmaster 团队先发布欧拉方程的结果，OpenAI 在第二天发布 Navier-Stokes 方程的结果。

第二个方案：在发布欧拉方程结果之后，由 Buckmaster 一个人单独撰写 Navier-Stokes 的论文，并在文中注明该结果由 OpenAI 内部模型解决。

Bubeck 在通话中两次明确要求，必须把 Alpoge 从作者名单中剔除。

理由是 Alpoge 在竞争对手 Anthropic 工作，这一点让他们感到非常恼火。

OpenAI 方面甚至表示，如果 OpenAI 紧随其后发布，他们会在宣传中声称 Buckmaster 团队配得上克雷数学研究所的千禧年大奖，称他们是离这个难题最近的人类。

Buckmaster 当场拒绝了这两个提议，并表示如果 OpenAI 这么做，他就会把全部经过公之于众。

对方随即反问：你为什么要毁掉自己的职业生涯？

Buckmaster 回应自己是一名学者，不明白公开事实为什么会毁掉职业生涯。

对方直接放话：如果你不想让我态度好，那我也可以不客气。

通话结束后，Bubeck 还试图绕过 Buckmaster 私下联系 Alpoge ，声称 Buckmaster 已经失去理智，但遭到 Alpoge 拒绝。

为了防止事情被歪曲，Buckmaster 决定立刻公开所有论文草稿、Lean 验证代码以及全部内幕说明。

陶哲轩长文解析数学内核

在事件发酵的同时，陶哲轩对这一数学突破的核心逻辑进行了解读。

这项工作采用的策略是通过不断添加局部的高频修正项来迭代构造解。

这种方法类似于凸积分，但关键区别在于高频波对低频部分几乎没有反馈。

低频部分会呈指数级放大高频部分，让高频在发生爆破前的极短时间内接管整个动力学系统，从而进入下一次迭代。

在 Boussinesq 方程中，扰动的振幅和频率演化最终简化成了一个极其简洁的常微分方程。

陶哲轩指出，从原理上看，这套方法完全有可能进一步推广到 Navier-Stokes 方程，甚至有希望彻底去掉外力项。

但他也明确表示，虽然堆砌海量算力和 AI 或许能强行冲出结果，但他个人更关注理解证明本身蕴含的数学洞见。

巧合的是，就在同一时期，Ganeshram 、Duruisseaux 和 Anandkumar 也发布了关于无外力欧拉方程奇异点的候选研究。

该团队使用物理信息神经网络寻找数值稳定的爆破构型，但严谨的理论证明仍未完成，目前仅在 Lean 中完成了部分性质的形式化。

这场由数学突破引发的技术与学术风暴，已经把 AI 在顶级科研中的角色、成果归属以及学术道德问题，毫无保留地推到了所有人面前。

OpenAI 吃相太难看了！！！

AI 寒武纪