OpenAI周二宣称其内部AI模型产生了一项经Lean验证的Navier-Stokes流体方程“爆破”证明，动用了10,000个协调AI智能体耗时88小时。然而，这一庆祝很快遭到纽约大学（NYU）数学家的严厉批评，指控该公司手段不正当。

Navier-Stokes方程描述流体运动，是克雷数学研究所设立的七个千禧年大奖难题之一，每题奖金100万美元。OpenAI表示该证明由一个比GPT-6 Astra能力更强的下一代模型生成，并通过Lean软件逐步验证。

但在OpenAI宣布数小时前，NYU数学家Tristan Buckmaster发布了一份四页声明，讲述了不同的故事。他与OpenAI竞争对手Anthropic的研究员Levent Alpöge花费近一年时间利用AI模型追逐流体爆破证明，并于8月22日得出了方案。Buckmaster称，9月3日，在Anthropic可能已解决重大问题的传闻中，他向OpenAI的一位数学家透露了该项目，并强调这是个人行为，与任何公司无关。

三天后的一次通话中，OpenAI的Sébastien Bubeck告诉他，内部模型已经生成了针对强制Navier-Stokes方程的100页证明——这与Buckmaster所说几乎无人追求的同一种狭窄方法一致。Buckmaster表示，Bubeck随后提供了两个选项：要么OpenAI在其团队发布后的第二天发表，要么由Buckmaster单独撰写论文，将Anthropic的Alpöge排除在外，因为他供职于竞争对手实验室。当Buckmaster称他将公开研究成果时，据其声明，Bubeck回答道：“你为什么要毁掉你的职业生涯？”

“如果你不想让我客气，那我也没必要客气，”Bubeck对Buckmaster说。

Buckmaster最终发表了包含其发现的研究论文。Levent Alpöge在那里得到了认可，但这两位研究人员均未从OpenAI获得认可——除了一个转推，承认无法“排除源自他们使用我们产品的去标识化数据帮助改进我们模型”的可能性。

OpenAI与Bubeck的反驳

Bubeck、OpenAI和CEO Sam Altman均否认Buckmaster对事件经过的描述。在一篇后续帖子中，Bubeck分享了提议与Alpöge联合发布以及提供OpenAI提示词的文字记录，并表示他是本着善意行事的。

“我希望消息清楚地表明，我们怀着最良好的意图而来，”他写道。“我从未要求从他自己作品的作者名单中移除Levent。”

OpenAI CEO Sam Altman为Bubeck辩护，称他“始终表现出诚信和慷慨”，并表示一旦OpenAI意识到对方团队仅解决了Euler方程而非完整的Navier-Stokes方程，便提议让Buckmaster的团队优先发表。

“我周末的大部分时间都在与完成这项工作的团队交谈。Seb——以及其他人——始终表现出诚信和慷慨。

起初我们相信另一方也解决了这个问题。我们希望合作并进行联合发布。”

在另一份声明中，OpenAI表示在发表前从未见过两人的工作，也未访问任何特定用户数据。不过，该公司并未明确排除这种可能性。

菲尔兹奖得主Terence Tao称赞Buckmaster和Alpöge的基础数学是一项“卓越的成就”。这是同一对实验室本周出现的第二个AI数学故事，几天前Anthropic声称Claude产生了一个计算机检查的费马大定理证明。

Buckmaster和Alpöge最advanced的结果——最接近实际100万美元问题的版本——仍待最终Lean检查而暂未发表。除了OpenAI之外，也没有外人独立审查过其100页的证明。