OpenAI 表示,一個尚未發布的實驗性 AI 系統在約 10,000 個代理協同工作僅 88 小時後,解決了數學中最著名的未解問題之一。
該公司發表了一項建議解決方案,以解決納維-斯托克斯存在性與光滑性問題,這是七個千禧年大獎難題之一,獎金為 100 萬美元。這些方程式描述了水和空氣等流體的運動方式,而未解決的問題則是詢問:一個完全平滑的流動最終是否會破裂,並產生無限增長的速度。
OpenAI 的系統表示它可以。其證明描述了一個流體渦旋,該渦旋逐漸被拉伸和集中,直至其速度在有限時間內趨於無窮,而系統的總能量仍保持有限。
根據目前對物理的理解,真實流體無法無限快速移動。在足夠極端的尺度下,納維-斯托克斯方程背後將流體視為連續物質的假設將不再符合物理現實。
結果來自一個內部模型,OpenAI 表示該模型比 GPT-6 Astra(其最先進的公開模型)強大得多。約 10,000 個代理在處理納維-斯托克斯方程時交換了 270 萬條訊息,並生成了約 1300 億個標記,之後 Astra 又花費了 17 小時對證明進行形式化和驗證。
然而,該證明本身的實際影響需要時間才能體現。納維-斯托克斯方程廣泛應用於飛機設計、天氣預報和血流研究等領域,因此對方程何時會失效的更好理解,最終可能提升科學家對極端和湍流的模擬能力。
更大的意義可能在於發現它的系統。如果數千個 AI 代理能在幾天內攻擊一個 90 年歷史的數學問題,同樣的方法最終也可能應用於材料科學、能源、航空航天、醫學等領域的難題。
關於結果是如何獨立達成的,已經存在爭議。
紐約大學數學家特里斯坦·巴克馬斯特和 Anthropic 研究員萊文特·阿爾波格各自獨立研究了一個密切相關的流體力學問題,並在研究中使用了 AI 工具。巴克馬斯特在 Mastodon 社交網絡的 a series of posts 中質疑,未發表的研究成果是否可能影響了 OpenAI 產品的模型。
Buckmaster 表示,他和 Alpöge 花了大約一年時間 探索一條不尋常的途徑來解決這個問題,該途徑涉及一種平滑的外力,並在工作中廣泛使用了 Codex 等 AI 工具。
他表示,幾乎沒有人他知道也在採用同樣的方法,並質疑 OpenAI 如何在得知這對組合取得進展後幾天內就達成此成果。
Buckmaster 表示,在與 OpenAI 的討論中,他最初被展示了一個提示,並被告知該公司的內部研究工作已開始,且除了問題陳述外,沒有其他人工參與。
根據巴克馬斯特的說法,該帳戶在對話過程中發生了變化,OpenAI 最終承認,第一個提示是在過去幾天內才發送的,當時有關巴克馬斯特和阿爾波格工作資訊已傳至公司。
OpenAI 回應表示,其研究人員和代理人在發表前均未見過相關工作,且未存取任何特定用戶資料。該公司補充說,無法排除透過使用 OpenAI 產品所產生的去識別化資料有助於提升其模型的可能性,但同時指出這些證明本身存在顯著差異。
因此,該證明尚未被正式認可。獎勵方克雷數學研究所要求所提出的解決方案必須經過長期審查,並獲得數學界的廣泛認可,才會考慮頒發一百萬美元的獎金。
同時,OpenAI 表示並無意爭取該獎金,並將此結果描述為其研究系統快速進步的證據。
