OpenAI的纳维-斯托克斯证明并非我们想象的那样

OpenAI在九月初发布了一份长达166页的纳维-斯托克斯方程（Navier-Stokes equations，流体力学中最核心的数学方程组）证明，声称其内部大语言模型独立攻克了这个数学界悬赏百万美元的难题。消息一出，整个数学圈震动。但随之而来的是一场公开争执：纽约大学数学家Tristan Buckmaster指控OpenAI窃取了他和Anthropic研究员Levent Alpöge过去一年用LLM推进的“西班牙方案”（由两位西班牙数学家Diego Córdoba和Luis Martínez-Zoroa提出的研究路径），并称OpenAI曾试图贿赂和威胁他，阻止他将此事公开。OpenAI自己的初期说法也暗示，这份证明确实建立在西班牙方案之上。 但经过几周的深入审查，事情出现了反转。多位正在逐行拆解这篇论文的数学家——包括瑞士洛桑联邦理工学院的Gonzalo Cao-Labora——表示，OpenAI的证明与西班牙方案只是表面相似，深入细节后会发现是完全不同的路径。两者的相似之处仅在于：都利用了克雷数学研究所对纳维-斯托克斯问题官方表述中的一个“漏洞”，通过构造一种不物理的外力条件，让方程得出流速无穷大的“爆破”结论。这个结论在现实中不可能发生，但在数学逻辑上成立。 真正让数学界头疼的是，这份证明本身几乎无法被人脑直接理解。OpenAI用了一个“智能体集群”——大约一万个擅长数学的新版LLM副本，累计消耗约88小时计算时间和1300亿个token，才协作构造出这个爆破场景。不过，这些AI智能体将论证过程写成了Lean代码（一种用于自动验证逻辑步骤是否严密的编程语言），目前多个顶尖研究团队正借助其他LLM，通过Lean代码和论文原文来还原证明的整体逻辑框架。 对跨境电商卖家和AI从业者来说，这件事的意义不在于谁抄了谁，而在于它揭示了AI做前沿数学研究的真实状态：能力惊人但过程不透明，产出难以验证，且极易引发学术优先权纠纷。OpenAI调动全部资源押注一个已被竞争对手合作者推进到关键节点的方向，本身就说明AI辅助科研的竞争已经白热化。而“一万个AI智能体协作88小时”这种工作模式，也预示着未来AI工具在复杂任务中的组织方式——不是单个模型单打独斗，而是大规模并行协作。至于那份证明到底对不对、算不算原创，数学界还在吵，但可以确定的是，它跟最初大家以为的那个故事，已经不太一样了。