研究突破
OpenAI 攻破 Navier-Stokes 千年難題：AI 多智能體系統 88 小時給出證明，數學界震動
OpenAI 於 9 月 8 日宣布其 AI 系統成功解決了 Navier-Stokes 存在性與光滑性問題——Clay 數學研究所七大千年大獎難題之一。系統動用約 10,000 個並行智能體、耗時 88 小時、消耗約 1300 億輸出 tokens，並以 Lean 定理證明器完成形式化驗證。此成果被視為 AI 驅動數學研究的分水嶺時刻。
OpenAI 於 9 月 8 日宣布其 AI 系統成功解決了 Navier-Stokes 存在性與光滑性問題——Clay 數學研究所七大千年大獎難題之一。系統動用約 10,000 個並行智能體、耗時 88 小時、消耗約 1300 億輸出 tokens，並以 Lean 定理證明器完成形式化驗證。此成果被視為 AI 驅動數學研究的分水嶺時刻。