周二(9月8日),OpenAI宣佈,旗下尚未公開的內部AI模型在消耗數百萬美元的運算資源後,破解了困擾人類近一世紀的「納維-斯托克斯方程」(Navier-Stokes equations)的部分問題。不過,這項說法隨即引發學術界與競爭對手在成果優先權方面的爭議。OpenAI同時明確表示,不打算申請克雷數學研究所提供的100萬美元獎金。
1萬個AI代理在88小時內得出證明
據OpenAI研究團隊在官方聲明中表示,團隊使用一套比GPT-6 Astra模型更強大的內部AI模型,動用約1萬個AI代理(能夠自主運作的程式),歷時約88小時得出「納維-斯托克斯」方程的證明。
聲明還提到,整個解題過程中,AI代理之間交換了約270萬條訊息,消耗約3000億個輸出詞元(token),並額外花費17小時通過GPT-6 Astra完成嚴格的電腦形式化驗證。
OpenAI首席研究長陳信翰(Mark Chen)表示,這次AI的運算成本「高達數百萬美元」,並稱這是AI研究的重大里程碑,「希望未來AI破解更多難題。」
OpenAI研究人員布貝克(Sebastien Bubeck)補充說,這次耗費的算力成本是過去解決數學問題的1,000倍。
成果歸屬爭議
OpenAI的這項聲明隨即引發爭議。
就在OpenAI發表成果的數小時前,紐約大學(New York University)教授、數學家特里斯坦‧巴克馬斯特(Tristan Buckmaster)與Anthropic公司研究人員萊文特‧阿爾波格(Levent Alpoge)公開了三篇論文,藉助AI解決了流體方程的簡化版本(包括強制歐拉方程等)。
隨後,巴克馬斯特公開質疑OpenAI的研究成果。他指出,研究過程中曾將成果存放在OpenAI用於編寫電腦程式的Codex工具中,他認為OpenAI團隊是在得知他們的研究後才加速取得突破的。
他強調,「我沒有指責任何人,但我不知道他們的AI做了什麼,也不知道他們是如何做到的,同時也不知道他們是否使用了我們的數據成果。」
面對質疑,布貝克公開否認OpenAI曾接觸過這對搭檔的研究成果或存取了與OpenAI伺服器共享的資料,也未調用其提示詞。
周三(9月9日),OpenAI在社群平台X上的官方聲明中語帶保留地表示,「雖然可能性不大,但我們無法排除使用者在用我們產品時產生的資料可能有助於改進我們的模型。」
OpenAI同時強調,雙方的證明方法存在顯著差異,尤其在歐拉方程(Euler equations,強制與非強制版本)問題上所證明的具體結果也不同。
歐拉方程是流體力學中將水、空氣等視為沒有黏性,它又是納維-斯托克斯方程式的簡化版。納維-斯托克斯方程式將水、空氣等視為有黏性。
納維-斯托克斯方程式的起源
「納維-斯托克斯」方程是美國克雷數學研究所(Clay Mathematics Institute)於2000年公佈的7個千禧年數學難題之一,目前剩餘6題未解,每解開一題可獲高達100萬美元的獎金。
「納維-斯托克斯」方程式自19世紀被提出以來,一直是人類研究飛機設計、天氣預報和血液流動等研究領域的基石。這套將流體視為連續介質的方程式,物理學界一直在探索其在極端條件下能否永久適用。
OpenAI的研究表明,在特定條件下,該方程式會隨着時間推移「失效」,包括原本完全正常的平滑流體,可形成高速旋轉且不斷拉長的渦旋,最後會在有限時間內速度變成「無窮大」,因此該方程式無法完全可靠地反映物理現實。這項證明已通過Lean程式語言完成形式化驗證。
克雷數學研究所:結果需獲得驗證才會發放獎金
根據獎項規則,OpenAI的這項公開證明必須先發表在科學期刊上,並獲得數學界確認兩年後,克雷數學研究所才能召集委員會進行審議,評議通過才會發放獎金。
克雷數學研究所所長馬丁‧布里德森(Martin Bridson)教授表示,「在我們審視這項人類對數學理解取得重大進展的公告時,這是令人興奮的一天。」他也強調,「我們評估過程不能急於求成,將確保審議過程的絕對嚴謹。」
OpenAI則明確表示,不打算申請這筆獎金,僅將此結果視為展示AI模型快速進步的里程碑。


















