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 證明了無外力情形，而對方證明了有外力情形。
OpenAI 宣稱在納維-斯托克斯方程中證明了有限時間奇點
Chaincatcher分享
精華摘要
OpenAI 於 9 月 8 日發布鏈上新聞，揭示其多智能體系統已證明三維不可壓縮納維-斯托克斯方程中的有限時間奇異性。此突破透過超過 GPT-6 Astra 的模型實現，並在 17 小時內經 Lean 驗證。超過 10,000 個智能體處理了 270 萬條訊息和 1300 億個 token。團隊提及來自 Anthropic 和紐約大學的加密貨幣新聞，但歐拉方程的結果有所不同。
來源:顯示原文
免責聲明：本頁面資訊可能來自第三方，不一定反映KuCoin的觀點或意見。本內容僅供一般參考之用，不構成任何形式的陳述或保證，也不應被解釋為財務或投資建議。 KuCoin 對任何錯誤或遺漏，或因使用該資訊而導致的任何結果不承擔任何責任。
虛擬資產投資可能存在風險。請您根據自身的財務狀況仔細評估產品的風險以及您的風險承受能力。如需了解更多信息，請參閱我們的使用條款和風險披露 。