OpenAI 證明納維-斯托克斯方程存在有限時間奇點

ChainCatcher 消息，OpenAI 於 9 月 8 日宣布，其內部多智能體系統已成功證明三維不可壓縮納維-斯托克斯方程在有限時間內可形成奇點，從而解決了該世紀難題。該證明由 OpenAI 內部一個比 GPT-6 Astra 能力更強的模型驅動，並於 9 月 5 日獲得初步結果，隨後經過 17 小時的 Lean 形式化驗證。

OpenAI 表示，該證明展示了在光滑外力作用下，靜止流體可演化出向內螺旋並拉伸的渦旋結構，其能量保持有限但速度無界增長，對應千年獎問題中的"C"和"D"情形。整個求解過程動用了約 1 萬個並發智能體，發送約 270 萬條消息，消耗約 1300 億輸出 token。OpenAI 承認此次嘗試受到有關 Anthropic 員工 Levent Alpöge 和 NYU 教授 Tristan Buckmaster 並行工作的傳聞啟發，並稱雙方在歐拉方程正則性問題上結果不同，OpenAI 證明了無外力情形，而對方證明了有外力情形。