OpenAI宣佈成功證明千禧年七大難題「NS方程」，僅用時88小時

就在今天，OpenAI正式公佈了一項里程碑式成果：其內部尚未公開的下一代AI，成功解決了克萊數學研究所提出的七大千禧年大獎難題之一——三維不可壓縮NS方程的存在性與光滑性問題。

系統給出的證明表明，在光滑外力作用下，初始光滑的流體可以從靜止狀態出發，在有限時間內發展出速度無界的奇點，同時能量始終保持有限。

該結果以分析證明與Lean形式化驗證的雙重形式發佈，對應官方問題表述中的陳述“C”與“D”。

如果數學界驗證成功，這將是首個由人工智能獨立完成的重大開放數學問題解決方案，也是迄今爲止AI在數學領域取得的最重要突破之一。

OpenAI使用的是一款能力顯著超越GPT-6 Astra的內部模型。自2026年8月28日起，該模型在數學基準上持續展現突破性表現。

9月1日，受相關傳聞啓發，OpenAI啓動了對所有未解千禧年難題的系統評估，並迅速將算力集中到NS方程上。

經過約88小時的探索與交叉驗證，智能體於9月5日給出分析證明；再用GPT-6 Astra進行Lean形式化驗證，額外耗時17小時。

整個過程中，智能體發送了約270萬條消息，消耗約1300億輸出token。OpenAI估算，若客戶自行運行同等規模任務，成本約1500萬美元。

目前，證明與Lean代碼已公開，數學界也將展開獨立審查。

無論最終如何被接納，2026年9月8日都將被記入數學史與人工智能史：困擾人類200多年的難題，或許會被AI嚴格證明。