AI里程碑：OpenAI用约1万个AI智能体88小时攻克纳维-斯托克斯千禧年难题

2026年9月，人工智能领域迎来了一项堪比人类科学史上最伟大突破的里程碑事件。OpenAI宣布，其利用约 1万个AI智能体，耗时约88小时，成功给出了纳维-斯托克斯方程存在性与光滑性问题的完整证明方案。这一成果被认为可能解决了克雷数学研究所于2000年公布的"千禧年七大数学难题"之一。

什么是纳维-斯托克斯方程？

纳维-斯托克斯方程是描述流体运动的一组偏微分方程，广泛应用于气象预报、航空航天、海洋工程和能源领域。该方程的存在性与光滑性问题，简单来说就是：在三维空间中，流体运动的解是否始终保持光滑（不产生奇点），这一问题困扰了数学家和物理学家数百年，也是千禧年难题中唯一与物理学直接相关的问题。

突破性成果详情

据OpenAI披露，这次实验使用了一个比GPT-6 Astra更强、尚未对外公开的下一代模型。研究团队于8月28日启动模型训练，组织约1万个AI智能体协同工作，于9月5日成功得出解法，随后GPT-6 Astra再用17小时完成Lean形式化验证。整个过程中：

• 智能体共发出约490万条消息
• 消耗约3000亿token输出
• 生成了一篇166页的论文及完整的Lean形式化验证代码
• 总体成本约数百万美元

证明的核心思路在于构造了一个特殊的涡旋结构——流体螺旋向内运动并不断拉长，使得局部速度无限增长，但整体能量保持有限，从而证明了在特定条件下奇点确实可以形成。

优先权争议

不过，这一重大成果也伴随着学术优先权的争议。纽约大学教授特里斯坦·布克马斯特和Anthropic研究员莱文特·阿尔珀格称，两人在相近方向上先取得了成果（8月15日做出关键结果），但因担心OpenAI"抢发"而被迫提前发布。菲尔兹奖得主、华人数学家陶哲轩对此评论道："好问题将比好答案更稀缺"，暗示这一突破将开启更多新的研究方向而非终结问题。

OpenAI表示，本次不申领克雷数学研究所提供的100万美元奖金，并已公开全部论文和代码，供全球学术界验证和使用。

意义与影响

这一成果的意义不仅在于解决了一个百年难题。它证明了多智能体协作系统在顶级科学研究中的巨大潜力——从问题分析、方案推演到形式化验证，整个科学研究链条都可以由AI自主完成。有分析人士指出，这可能是人类科学史上首次由AI系统主导完成的世界级数学突破，标志着AI从"辅助工具"正式迈向"科学发现者"的角色转变。

如果说GPT-6 Astra的发布证明了AI的"智能水平"，那么这次纳维-斯托克斯问题的攻克证明了AI的"科学创造力"——两者共同构成了AGI时代到来最有力的宣言。

本文内容基于公开网络资讯整理