【快讯】OpenAI宣布用AI破解纳维-斯托克斯千禧难题，数学界震动并陷入署名争议

2026年9月8日，OpenAI正式宣布，其内部下一代人工智能模型（能力显著超过刚发布的GPT-6 Astra）协同约1万个AI智能体，在88小时内给出了纳维-斯托克斯存在与光滑性问题的证明，并完成Lean形式化验证。该公司称这解决了克莱数学研究所千禧年大奖问题中的相关表述，但明确表示不申请100万美元奖金。

纳维-斯托克斯方程自19世纪提出以来，一直是描述流体运动的核心工具，广泛应用于天气预报、航空设计和气候模拟。2000年被列为七个千禧年大奖问题之一，核心疑问是：三维不可压缩流体从光滑初始状态出发，解是否会永远保持光滑，还是可能在有限时间内出现速度无穷大的奇点。此前仅庞加莱猜想被佩雷尔曼解决。

OpenAI的证明显示，在施加光滑外力的情况下，初始静止且光滑的流体可以在能量始终有限的前提下，于有限时间内形成奇点。具体机制是一个向内螺旋并不断拉长变细的涡旋，中心区域收缩加速，各项运动项巨大但精确抵消。公司已公开分析性证明和Lean代码。

据OpenAI介绍，该内部模型自8月28日开始训练。9月1日，团队因听到“有人即将解决千禧问题”的传闻，将大规模算力投入该题。智能体先用约50小时解决无黏性欧拉方程版本，再用11小时推广至完整纳维-斯托克斯方程，总计88小时得出证明，另用GPT-6 Astra花费17小时完成形式化。整个过程消耗约1300亿输出token，成本估计达数百万至1500万美元。

克莱数学研究所所长马丁·布里森表示，这是“令人兴奋的一天”。普林斯顿大学数学家、当年撰写该问题官方陈述的查尔斯·费弗曼也称结果令人振奋。多方评价认为，若经受住进一步审查，这将是迄今最重要的由人工智能主导完成的数学证明。

然而，宣布几乎立刻被争议笼罩。纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员勒文特·阿尔珀格在前一天刚公布了欧拉方程等密切相关的“踏脚石”结果，同样使用了包括OpenAI Codex在内的AI工具。巴克马斯特指责OpenAI在获悉其研究路径后加速冲刺，并在沟通中施压署名安排。OpenAI否认查阅过对方未发表材料，承认传闻启发了自身投入，但不能完全排除去标识化使用数据对模型产生过帮助。双方各执一词，目前尚无第三方裁定。

目前，该证明已通过Lean机器验证，出错概率大幅降低，但完整独立审查仍需时间。克莱研究所尚未正式表态是否将其认定为完整解答。数学界普遍认为，这标志着人工智能从辅助计算迈向独立攻克重大开放问题的转折点，同时也暴露出前沿实验室在算力、数据使用和优先权认定上的新矛盾。后续几天的学术审查，将决定这一成果的最终历史定位。