Altman 在 ADIPEC 表示:解出 Navier-Stokes 的 1 万 Agent 内部模型就是「即将发布的下一代 GPT」
OpenAI CEO Sam Altman 11 月 2 日在阿布扎比 ADIPEC 能源大会开幕演讲中说,9 月那次 1 万个 Agent 连续协作约四天的运行,用的是「即将发布的模型,下一代 GPT」,并强调 Agent 之间没有层级、完全去中心化。这是 OpenAI 首次在公开场合把 9 月 Navier-Stokes 证明背后的内部模型与下一款旗舰产品对上号,但官方仍未公布名称、发布日期或价格。

核心要点速览
- 原话(ADIPEC 演讲视频):「It was 10,000 agents of the model that is going to be released soon, the next GPT, working for about four days, nonstop」。
- OpenAI 9 月 8 日官方博客口径:约 1 万个并发 Agent,约 88 小时得出结果,GPT-6 Astra 再用 17 小时完成 Lean 形式化与验证。
- 规模(官方口径):Navier-Stokes 这一题 Agent 间发送 270 万条消息、约 1300 亿输出 token;全部问题合计 490 万条消息、约 3000 亿输出 token。
- Lean 证明已开源在 openai/NavierStokesAndEuler,证明的是 Clay 官方表述中的 C、D 两种情形(带外力的破裂)。
- 未公布:下一代 GPT 的名称、发布日期、价格和跑分;X 上流传的「GPT-6.2 Astra」等名字均为猜测。








