標籤 AI 數學研究

OpenAI 於 2026 年 9 月 8 日宣稱以約一萬個協同 AI Agent 在 88 小時內產出 166 頁 Navier-Stokes 有限時間爆破證明與 Lean 驗證，同日 NYU 數學家 Buckmaster 的聲明掀開 Codex 草稿信任問題，克雷研究所截至 9 月 9 日仍將問題標為 Unsolved。