OpenAI 宣布其內部模型在約一萬個 AI 智能體的支持下，僅用 88 小時便解決了納維-斯托克斯存在與光滑性問題。這項成果消耗了約 1300 億個 token，計算成本超過 4000 萬美元，有望成為第二個千禧年大獎的獲獎項目。 這標誌著科學發現領域的重大範式轉移，證明大規模 AI 智能體系統能夠解決過去僅由人類專家處理的複雜數學證明。它突顯了 AI 在推動純數學和理論物理突破方面的日益增強的能力。 該解法透過 GPT-6 Astra 使用 Lean 進行形式化驗證，額外耗時 17 小時。這項努力引發了與數學家 Tristan Buckmaster 和 Levent Alpöge 的優先權爭議，後者聲稱他們在歐拉方程上的相關工作早於 OpenAI 的宣佈。
事件背景
納維-斯托克斯存在與光滑性問題是千禧年大獎問題之一，涉及三維流體運動方程是否始終存在光滑解。自 2000 年由克雷數學研究所設立以來，僅龐加萊猜想被正式解決，使其成為數學界極具聲望的挑戰。
社群觀察
社群對這項發現的速度和規模感到興奮，但也有人指出其高昂的計算成本。目前人們仍在討論該證明在經過外部驗證後的效力，以及與 Anthropic 相關研究人員之間的優先權爭議結果。
