OpenAI 智能体宣称解出纳维-斯托克斯千禧年大奖难题

核心要点速览 (Key Takeaways)

• ✓OpenAI 表示，约 1 万个协同智能体在显著强于 GPT-6 Astra 的下一代模型驱动下，给出了三维纳维-斯托克斯方程可在有限时间内出现奇点的解析证明及 Lean 形式化。内部团队用 88 小时完成；该公司称该模型在多项基准上呈阶跃提升、训练仍在进行，并将据此把握后续能力推进节奏。