OpenAI 宣称其内部模型驱动约 1 万个智能体求解 Navier-Stokes 千禧年大奖问题

作者转发 OpenAI 官方声明：OpenAI 称其 AI 求解了悬置约 90 年的 Navier-Stokes 千禧年大奖问题。一个训练中的新内部模型（据称显著强于 GPT-6 Astra）驱动约 10，000 个并发智能体，88 小时得出解，GPT-6 Astra 再用 17 小时完成 Lean 形式化与验证。