10000 个 Agent、88 小时

解决一道 90 年的难题

千禧年七大数学难题中，第二个被解决的问题已经诞生！

给出证明的，是约一万个 Agent。

这道题悬而未决了约 90 年，此前七大难题中只有庞加莱猜想被俄罗斯数学家佩雷尔曼解决。

OpenAI 同时声明不打算领取克雷数学研究所的百万美元奖金，将这一结果定位为「AI 进步的快照」。

纳维-斯托克斯方程描述流体运动，从飞机机翼设计到天气预报都依赖它。

2000 年，克雷数学研究所将「三维不可压缩流体的解是否永远保持光滑」列为七大千禧年难题之一，悬赏一百万美元。

OpenAI 的证明回答了这个问题：不会。

最终突破发生在 9 月 5 日，此时距首批 Agent 启动仅约 88 小时。

Agent 共发送 270 万条消息，消耗约 1300 亿输出 Token。

Lean 形式化验证由 GPT-6 Astra 完成，耗时 17 小时。

整篇论文 165 页，署名作者只有两个字：OpenAI。