OpenAI用一万个AI智能体88小时攻克90年未解数学难题

9月8日，OpenAI宣布其内部未公开的下一代AI模型，联合约1万个并发协作的AI智能体，仅用时88小时便攻克了克雷数学研究所（Clay Mathematics Institute）于2000年设立的七大“千禧年大奖难题”之一——纳维-斯托克斯方程的存在性与光滑性问题。这道题已悬置未解约90年。

OpenAI同步公开了一份长达165页的完整数学推导论文，以及配套的Lean形式化验证代码。公司同时表示，将放弃申领该题附带的100万美元奖金，将其定位为“AI进步的一张快照”。

纳维-斯托克斯方程是描述水、空气等流体运动的基础方程，广泛应用于气象预报、飞行器设计与血流研究。其核心追问是：如果流体初始状态足够平滑、总动能保持有限，流体速度是否会在有限时间内趋向无穷大，即产生“奇点”（singularity）。2000年，克雷数学研究所将这一问题列入千禧年难题，悬赏100万美元。此前七道题中，仅有庞加莱猜想被俄罗斯数学家佩雷尔曼解决。

OpenAI的证明给出了否定答案：解并不总是光滑的。论文构造了一个特殊的涡旋结构——流体围绕中心不断旋转、逐渐向内收缩并轴向拉伸，如同“一根不断拉长变细的意面”，流速在有限时间内趋于无穷，而动能始终保持有界。

整个求解过程呈现为“两步走”的智能体协作模式。研究团队从9月1日启动，让不同智能体小组分别尝试证明“解永远光滑”和“构造反例”两种方向。中途约100个智能体先花50小时攻克了相关的欧拉方程正则性问题。最终突破出现在9月5日，距首批智能体启动约88小时。

过程中，智能体之间共交换了490万条消息，消耗约3000亿输出Token（其中纳维-斯托克斯问题相关任务消耗约1300亿Token），项目成本达数百万美元。后续，GPT-6Astra花费17小时完成Lean形式化验证。

用于生成证明的内部模型，OpenAI称其能力“显著强于”GPT-6Astra。该模型尚未对外发布，训练仍在进行中。

OpenAI CEO Sam Altman称这是他在公司历史上最震撼的时刻之一。总裁Greg Brockman表示，“这标志着AI与数学领域的重大里程碑，同时也预示着科学探索即将迎来一场全新的复兴”。

不过，这一成果也迅速卷入了优先权争议。在OpenAI官宣前约12小时，纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge率先公布了相近成果。Buckmaster指控OpenAI在获悉其未发表工作后加紧推进项目。克雷数学研究所尚未正式认定该证明成立，所长MartinBridson表示“评审过程本就有意放缓，我们会确保它绝对严谨”。若最终通过评审，这将是继庞加莱猜想之后第二个被攻克的千禧年难题。