OpenAI称内部AI模型用约1万个并发代理、88小时找到纳维-斯托克斯方程候选解法，证明165页并完成机器验证，克雷数学研究所仍列为未解决

OpenAI于2026年9月8日宣布，其内部一款尚未对外发布的人工智能模型已求解出纳维-斯托克斯方程的存在性与光滑性问题。该方程用于描述空气、水和血液等流体的运动，自19世纪提出以来已存在近200年。2000年，克雷数学研究所将其列为七个“千禧年大奖难题”之一，每个难题的解答者可获得100万美元奖金。OpenAI表示，该内部模型的能力显著超过其最新发布的GPT-6 Astra模型。

OpenAI称，此次求解任务于2026年9月1日启动，公司调动了约10000个并发AI智能体协同工作，这些智能体被划分为不同小组，可读取缓存版互联网内容并运行代码。智能体在约88小时后，即9月5日得到核心结果，随后又花费约17小时完成Lean形式化验证。整个过程中，智能体共交换约490万条消息，生成约3000亿个输出token，其中纳维-斯托克斯问题相关任务产生约270万条消息，消耗约1300亿个输出token。OpenAI表示，证明长达165页，核心思路是构造一个三维不可压缩流体，其初始处于静止状态，受到光滑外力作用后，涡旋在向内卷吸和拉伸过程中速度不断增加，最终在有限时间内变得无界，而总动能仍保持有限。这对应克雷数学研究所官方问题表述中的C和D条件。

OpenAI还表示，其系统此前解决了一个相关的欧拉方程正则性问题，约100个智能体工作50小时后完成了该问题的反例证明，这成为团队继续研究纳维-斯托克斯问题的重要线索。公司称，为攻克该难题投入了数百万美元，但无意领取100万美元奖金，此次发布主要是为了展示其前沿AI系统的进展速度。OpenAI同时承认，该成果尚未经过独立验证，也未获得克雷数学研究所的公开认可。

目前，七个千禧年大奖难题中仅有庞加莱猜想获得了正式解决认定。纳维-斯托克斯问题仍被该研究所列为尚未解决的难题。

此次宣布引发了围绕研究优先权和数据使用的争议。纽约大学数学家特里斯坦·巴克马斯特此前与Anthropic研究员莱文特·阿尔珀厄合作，利用大模型研究流体力学中的多个开放问题。巴克马斯特表示，他与阿尔珀厄于9月8日公布了三项证明成果，涉及不可压缩多孔介质方程、Boussinesq方程和三维不可压缩欧拉方程，相关论文和Lean形式化代码已上线。他称，在OpenAI发布成果之前，他们已朝纳维-斯托克斯问题迈出步骤，并质疑OpenAI是否受到其未公开研究工作的影响。

巴克马斯特称，OpenAI研究员塞巴斯蒂安·布贝克曾两次要求将阿尔珀厄的名字从证明论文中移除，理由是阿尔珀厄受雇于Anthropic。布贝克否认了这一说法。巴克马斯特还表示，当他准备将争端公之于众时，布贝克曾回复“你为什么要毁掉自己的职业生涯”。OpenAI首席执行官萨姆·奥尔特曼在X平台发文称，OpenAI受到了“毫无依据的抄袭指控”，并表示公司原本希望协调双方发布，曾提议让巴克马斯特团队优先发布相关成果，并考虑让巴克马斯特担任改写后的OpenAI证明论文第一作者。阿尔珀厄在X平台发文表示，他原本乐意合作，但OpenAI提出只要他去掉合作者成果署名就可与巴克马斯特共享奖金，这一提议让他打消了合作念头。

关于数据使用问题，OpenAI表示，在成果公开之前，其研究人员和智能体没有通过任何途径看到巴克马斯特和阿尔珀厄的工作，也没有为解题访问任何特定用户数据。OpenAI称，双方的证明存在显著差异，甚至在欧拉情形下的精确结果也不同。

OpenAI研究员陈立杰公开回应了这一事件。