OpenAI 內部模型成功破解千禧年大獎難題:納維-斯托克斯存在性與光滑性

OpenAI 發布納維爾-斯托克斯千禧年大獎問題的 AI 生成解決方案,具備重大數學突破意義。

• OpenAI 宣佈利用未發布的內部強大模型與多代理人協同系統,成功破解數學界七大千禧年大獎難題之一的納維-斯托克斯存在性與光滑性問題。 • 該研究透過分析證明與 Lean 形式化驗證,證實三維不可壓縮流體在有限時間內會形成「奇異點」,打破了長達 90 年的懸而未決狀態。 • 研發團隊動員了約 10,000 個並行代理人,在經歷數百億輸出 Token 的運算與跨群組的知識整合後,於數日內獲得突破性進展。 • 解決方案的核心在於發現流體中的渦流在向內螺旋並拉長時,速度無限增長但能量保持有限,精確平衡了加速度、壓力與黏滯力等各項方程式。 • > 「我們的目標是賦能科學家推進造福全人類的研究與技術,同時向世界展示 AI 進步的速度與未來模型的潛力。」 • 此次突破同時引發了數學界的廣泛關注與學術優先權討論,凸顯了前沿人工智慧在應對複雜科學難題上的強大應用潛力。


來源:OpenAI Blog

閱讀原文 ↗

另見:Simon Willison、Hacker News、Hacker News

← 回首頁