OpenAI 於 8 年 2026 月宣布，其內部 AI 系統解決了千禧年七大難題之一——納維—斯托克斯方程解的存在性與光滑性問題。
該公司表示，這項證明顯示，在光滑外力作用下，靜止的光滑流體可能在有限時間內發展出奇異性，同時能量保持有限。
此解是透過數千個 AI 代理在約 88 小時內協作獲得，並已用 Lean 形式化驗證。
這項宣布立即在數學界引發爭議。
紐約大學教授 Tristan Buckmaster 和 Anthropic 研究員 Levent Alpöge 不久前發表了相關問題的結果，被認為是邁向納維—斯托克斯問題的重要步驟。
Buckmaster 表達擔憂，認為 OpenAI 可能得知了他們的研究方向，並利用類似方法加速自身努力。
該公司否認取得他人資料或草稿的指控，聲稱其行動是基於其他千禧年問題進展的公開傳聞。
AI 代理究竟如何得出證明，以及這是否可視為獨立突破，如今數學家和 AI 專家正在討論。
有趣的是，這起事件是否會影響研究人員對使用商業模型處理未發表結果的信任？
OpenAI 強調，無意爭取克雷數學研究所的一百萬美元獎金。
此事件再次展現 AI 在數學領域能力的快速進展，同時也引發了人機協作中倫理與作者歸屬的疑問。
