OpenAI公布納維–斯托克斯千禧年難題解答及Lean證明

OpenAI宣布其內部系統給出納維–斯托克斯存在性與光滑性問題的解答：在光滑外力作用下，初始靜止且光滑的三維不可壓縮流體可在有限時間內形成奇點，且全過程能量保持有限。該結果對應克雷數學研究所官方表述中的C、D命題，已同步公開論文和Lean形式化證明，仍待學界獨立審查。項目使用了比GPT-6 Astra顯著更強的內部模型，約1萬個並行智能體在約88小時內形成證明，發送270萬條消息、生成約1300億輸出Token，Lean形式化和驗證另耗時17小時。OpenAI無意申領千禧年獎。OpenAI最初誤以為Anthropic員工Levent Alpöge與紐約大學教授Tristan Buckmaster也解出了該題，後確認兩人解決的是受迫歐拉方程問題，並認可其在該問題上的優先權。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。