OpenAI 宣佈代理群攻克 Navier–Stokes 千禧年難題：超越 GPT-6 Astra 模型、八十八小時與 Lean 形式化
2026 年 9 月 8 日（北美時間），OpenAI 官方帳號與配套技術文件同步公布：公司以「代理群」搭配一款能力明顯高於 GPT-6 Astra 的下一代內部模型，產出 Navier–Stokes 方程有限時間爆破（blow-up）的分析證明，並附上 Lean 形式化；同日公開的技術 PDF 標題為《Finite...
2026 年 9 月 8 日（北美時間），OpenAI 官方帳號與配套技術文件同步公布：公司以「代理群」搭配一款能力明顯高於 GPT-6 Astra 的下一代內部模型，產出 Navier–Stokes 方程有限時間爆破（blow-up）的分析證明，並附上 Lean 形式化；同日公開的技術 PDF 標題為《Finite...