OpenAI 内部新模型驱动约 1 万个智能体求解 Navier-Stokes 千禧年难题

2026年9月8日，研究者转引 OpenAI 官方声明，披露其利用正在训练的内部新模型驱动约 1 万个并发智能体，历时 88 小时得出纳维-斯托克斯千禧年大奖问题的解，并结合形式化系统完成验证。

• 核心推演由 8 月 28 日启动训练的内部新模型执行，官方称其推理表现显著高于 GPT-6 Astra。
• 系统调度约 10,000 个并发智能体开展分布式协同探索，累计运行 88 小时得出候选解。
• 求解完成后，GPT-6 Astra 耗时 17 小时在 Lean 交互式定理证明器中完成了逻辑形式化与自动化验证。
• 影响/看点：大规模智能体并发搜索与形式化定理证明系统的闭环结合，意味着复杂科学推演的自动化流程正在拓展，其广泛应用依赖于算力成本控制与符号形式化转换的准确度。
• 资料依据:
• X：Kim（2026-09-08）：https://x.com/kimmonismus/status/2097381188201517193
• OpenAI（2026-09-08）：https://openai.com/index/solving-navier-stokes-with-agents

本内容由 AI 生成，仅供参考，请注意甄别