OpenAI 周二表示,其内部人工智能模型刚刚解决了数学研究中最大的问题之一,但在一名纽约大学数学家声称该公司玩弄肮脏行为后,这一庆祝活动遭到了尖锐的批评。
OpenAI 表示,它证明了描述流体如何移动的纳维-斯托克斯方程可以“爆炸”——数学预测无限速度的点,这在自然界中是不可能发生的。
这是克莱数学研究所颁发的七个千禧年奖难题之一,每个难题价值 100 万美元。
OpenAI 表示,结果花费了 88 个小时,大约 10,000 个协调人工智能代理(其模型的副本并行地进行证明)与 Lean(逐步验证证明的软件)进行了检查。
我们正在分享纳维-斯托克斯千年奖问题的解决方案,这是数学前沿最深奥的问题之一。
该证明是由一组代理使用 OpenAI 下一代模型生成的,该模型的能力明显优于 GPT-6 Astra。
问题...... pic.twitter.com/8zol3BPTL4
— OpenAI (@OpenAI) 2026 年 9 月 8 日
但他们可能不是第一个找到解决方案的人。
在 OpenAI 宣布这一消息的几个小时前,纽约大学数学家 Tristan Buckmaster 在一份长达四页的声明中讲述了一个不同的故事。他和 OpenAI 竞争对手 Anthropic 的数学家 Levent Alpöge 花了近一年的时间使用 AI 模型来追踪流体爆炸的证据,并在 8 月 22 日提出了一个解决方案。
Buckmaster 表示,9 月 3 日,在有传言 Anthropic 已经解决了一个重大问题的情况下,他向 OpenAI 的一位数学家讲述了该项目,并强调该项目是个人的,与任何一家公司都没有关系
三天后,在一次电话会议上,OpenAI 的 Sébastien Bubeck 告诉他,一个内部模型已经为强制纳维-斯托克斯生成了 100 页的证明——巴克马斯特说几乎没有其他人采用同样的狭隘方法。
巴克马斯特说,布贝克随后提供了两种选择:要么 OpenAI 在他的团队发表后的第二天发表,要么巴克马斯特独自撰写他的论文,而阿尔波格则因为在竞争对手实验室工作而没有完成。当巴克马斯特说他会上市时,他说布贝克回答说:“你为什么要毁掉你的职业生涯?”
“如果你不想让我友善,那么我就不必友善,”布贝克在声明中告诉巴克马斯特。
巴克马斯特最终发表了包含他的发现的研究论文。 Levent Alpöge 受到了认可,但两位研究人员都没有获得 OpenAI 的认可——除了一条引用推文,承认它不能“排除从他们使用我们产品时获得的去识别化数据有助于改进我们的模型”。
OpenAI 和 Bubeck 的反击
布贝克、OpenAI 和 Altman 都否认巴克马斯特对所发生事件的描述。在后续帖子中,Bubeck 分享了提议与 Alpöge 协调发布的文本,并提供了 OpenAI 的提示,并表示他的行为是出于善意。
他写道:“我希望从信息中可以清楚地看出,我们是怀着最好的意图而来的。” “我从来没有要求取消莱文特自己作品的作者身份。”
OpenAI 首席执行官 Sam Altman 为 Bubeck 辩护,称他“自始至终都表现出正直和慷慨”,并且当 OpenAI 意识到他们只解决了欧拉问题而不是完整的纳维-斯托克斯问题时,他们提出让巴克马斯特的团队首先发布。
我周末的大部分时间都在与完成这项工作的团队交谈。 Seb 和其他所有人自始至终都表现出正直和慷慨。
最初我们相信其他团队也解决了这个问题。我们希望合作并联合发布。
当我们得知...... https://t.co/XESh5oFHHE
- Sam Altman (@sama) 2026 年 9 月 8 日
OpenAI 在另一份声明中表示,它在发表之前从未见过两人的作品,也没有访问过任何特定的用户数据。也就是说,该公司也没有明确放弃这种可能性。
菲尔兹奖得主陶哲轩称巴克马斯特和阿尔波吉的基础数学是“了不起的成就”。这是本周这两个实验室的第二个人工智能数学故事,几天前,Anthropic 表示克劳德给出了费马大定理的计算机检查证明。
Buckmaster 和 Alpöge 的最先进结果(最接近实际 100 万美元问题的版本)仍未发布,等待最终的精益检查。 OpenAI 之外也没有人独立审查过其 100 页的证明。