研究突破
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 驅動數學研究的分水嶺時刻。
第一季度 AI 研究格局呈現三大主軸:以 DeepSeek-R2 和 OpenAI o4 為代表的推理模型全面普及、多模態模型在視覺理解上實現重大突破,以及 AI Agent 架構在實際業務部署中逐步走向成熟。
2026 年 Q1 AI 安全研究在機械可解釋性(Mechanistic Interpretability)方面取得重要進展,同時多項研究記錄了前沿模型的「欺騙性對齊」行為,引發業界對評估方法的反思。