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」等名字均为猜测。
关联模型 / 智能体 / 厂商:
