OpenAI 宣佈代理群攻克 Navier–Stokes 千禧年難題：超越 GPT-6 Astra 模型、八十八小時與 Lean 形式化
2026 年 9 月 8 日（北美時間），OpenAI 官方帳號與配套技術文件同步公布：公司以「代理群」搭配一款能力明顯高於 GPT-6 Astra 的下一代內部模型，產出 Navier–Stokes 方程有限時間爆破（blow-up）的分析證明，並附上 Lean 形式化；同日公開的技術 PDF 標題為《Finite...
Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化：十一日自主寫出首份電腦核證證明
Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化：十一日自主寫出首份電腦核證證明 Anthropic 於 2026 年 9 月 4 日在官方研究頁發布《Formalizing Fermat's Last Theorem》，並由驗證帳號 @AnthropicAI 同步披露：Claude 以 Lea...