本周早些时候，当我忙于在我认为的金融未来中输掉所有积蓄时，OpenAI声称解决了数学界另一个最困难的问题。这次是一个在19世纪50年代提出的问题，当时地球上唯一的程序是一个退化赌徒，我知道他会喜欢Horse Tender。这个问题被称为纳维-斯托克斯方程（Navier-Stokes），它是一组我们赖以确定流体和气体运动的方程式。但是，不像你之前看过的那些关于流体和气体运动的其他视频，这个视频的剧情要有趣得多。>> 因为这对我们来说就像疯狂的戏剧一样。 >>

在本视频中，我们将找出纳维-斯托克斯方程为何如此困难，调查OpenAI是否真的解决了它，并了解为什么纽约大学的一位数学教授、Anthropic的一位数学家以及Sam Altman都在讲述关于上周日一次电话通话的不同故事。现在是2026年9月11日，你正在观看《代码报告》（The Code Report）。回到19世纪80年代，一位名叫Claude-Louis Navier的法国工程师写下了一些描述流体运动的方程式。

然后，几十年后，一位名叫George Stokes的爱尔兰数学家改进了这位工程师的工作，最终它们被命名为纳维-斯托克斯方程。基本上就是力等于质量乘以加速度，但适用于水。其思路是你给方程式提供流体的当前状态，比如它的移动速度和承受的压力，而你得到的将是该流体在稍后时刻的运动方式。

在过去近200年里，工程师们一直信赖它们来处理一些非常关键的事情，比如预测飓风、设计飞机机翼以及模拟血液如何在他们的肉体容器中泵送。但是，当然数学家们只有在证明之前不会信任任何东西。关于这些方程式有一个问题无人能答，用非常简单的话来说就是：它们会失效吗？

这个问题如此困难，以至于26年前，克雷数学研究所将其列为七大千禧年大奖难题之一，并悬赏一百万美元。要领取这笔钱，你需要证明这些方程式永远不会失效，或者展示一个它们会失效的案例。正如你可以想象的那样，关心这个问题的人不多，更不用说有机会解决它的人了。

但其中一位关心者是特里斯坦·巴克马斯特（Tristan Buckmaster），他是纽约大学的数学教授，曾于2019年因在这些确切方程式方面的工作而获得克雷研究奖。去年，他与莱文特·阿尔皮盖（Levent Alpoge）合作，这位数学家碰巧在Anthropic工作，并且在业余时间显然喜欢研究百年历史的流体力学问题。

团队进展缓慢但稳步前进，直到今年8月中旬，莱文特意识到他所在的公司实际上做什么。在那之后，他们开始更多地依赖Codex寻求帮助，他们的进展突飞猛进。

他们最终采取的方法既新颖又有些冒险，而在8月15日，它得到了回报：他们让纳维-斯托克斯方程的一个简化版本——欧拉方程（Euler equations）崩溃了。这虽然不是那个百万美元的问题，但却是任何人曾接近过的最接近的一次。

然后，就像他们刚接种了疫苗一样，OpenAI突然对数学产生了浓厚兴趣。8月下旬，在训练新模型时，他们决定一次性将所有未解决的千禧年难题交给它，看看会发生什么。

在一万名智能体和两千万美元的计算资源之后，他们声称打破了纳维-斯托克斯方程。而你知道的，他们所使用的方法正是巴克马斯特和阿尔皮盖在过去一年里致力于并投入Codex的完全新颖的过程，这就引出了那通电话。

9月3日，巴克马斯特发邮件给OpenAI询问发生了什么。那天周日，他与负责该项目的OpenAI研究员塞巴斯蒂安·布贝克（Sebastian Boubek）进行了通话。巴克马斯特被告知，OpenAI所做的只是将问题陈述以极少的输入交给模型。

随着通话的进行，很明显整个团队都在参与工作。提示词是由Codex编写的，他们几天前才刚刚开始，当时听到了关于他工作的谣言。巴克马斯特随后质疑模型是否在他的Codex会话上进行了训练，并被告知它不会查找用户数据。

但当他就训练问题进一步追问时，据他所说，他没有得到任何回答。从那里起，他声称OpenAI提出了两个选项。第一个是巴克马斯特和阿尔皮盖可以先发表他们的欧拉结果，然后OpenAI可以发布其纳维-斯托克斯证明并感谢巴克马斯特是离解决它最近的人。

第二个选项是让巴克马斯特亲自撰写纳维-斯托克斯论文，但要把阿尔皮盖（Alpagay）排除在外，因为他供职于Anthropic。于是，巴克马斯特像任何GigaChat都会做的那样拒绝了这两个选项并威胁要公开此事。

然后，据他的声明称，布贝克问巴克马斯特为什么要毁掉自己的职业生涯，并告诉他如果他不希望布贝克对他友好，那他就不必保持友善。当然，OpenAI有不同的说法，声称他们从未要求从工作中移除阿尔皮盖。

萨姆表示他相信他们这边的每个人都秉持诚信行事，而巴克马斯特是唯一一个发出威胁的人。因此，在周二早上，巴克马斯特和阿尔皮盖发布了他们的论文以及一份四页的声明，描述了整个事件的经过。

当天下午，OpenAI发布了自己的解决方案及一篇博文，坚持认为没有访问任何用户数据，且两份证明存在显著差异。当晚，Madam Zeroni发表了她自己的声明，称如果萨姆和布贝克不把她抬上山顶，OpenAI将遭受永恒的诅咒。

你和你的家人将被永远和永恒地诅咒。 >> 就在昨天，谣言开始流传称OpenAI非常接近验证另一个千禧年难题，批准认为改变世界只需要一点努力、一万名智能体和价值两千万美元的计算资源。

当然，陶哲轩对此事有着最合理的看法，他祝贺巴克马斯特和阿尔皮盖的工作，并警告说如果仅仅关于你研究的谣言就能触发一群智能体竞相抢先发表你的成果，数学家们将简单地停止分享想法。

这将推翻几个世纪以来的开放科学传统。这里的教训可能是要小心你信任哪些公司，这也是为什么我将所有项目都托管在Railway上的原因——它是本期视频的主办方。

他们再次拒绝浪费你的时间播放完整的广告，这对于一家只需几次点击就能让你部署任何内容的公司来说是有意义的。所以，如果你想表示感谢，可以通过下面的链接免费尝试部署你的下一个项目。

这就是《代码报告》。感谢观看，我们下期再见。