研究突破
OpenAI 攻破 Navier-Stokes 千年難題：AI 多智能體系統 88 小時給出證明，數學界震動
OpenAI 於 9 月 8 日宣布其 AI 系統成功解決了 Navier-Stokes 存在性與光滑性問題——Clay 數學研究所七大千年大獎難題之一。系統動用約 10,000 個並行智能體、耗時 88 小時、消耗約 1300 億輸出 tokens，並以 Lean 定理證明器完成形式化驗證。此成果被視為 AI 驅動數學研究的分水嶺時刻。
研究突破
Anthropic Claude 獨力完成費馬最後定理形式化證明：11 天、1300 萬行 Lean 程式碼
Anthropic 宣布 Claude 在 11 天內幾乎自主完成費馬最後定理（FLT）的完整電腦可驗證證明，產出 1300 萬行 Lean 程式碼與 29,500 個中間定理。數學界領袖 Kevin Buzzard 盛讚此為「非凡的自動形式化成就」。