OpenAI 數學研究取得進展

OpenAI 報告稱，其新內部模型解決了包括納維-斯托克斯方程在內的 100 多個長期數學難題。約 1 萬個 AI 智能體協同工作，在 24 天內取得了這些成果。

鑑於進展迅速，OpenAI 成立了一個獨立諮詢小組。目標是討論如何驗證並向學術界分享這些新的數學發現。

該研究歷時 24 天，在預訓練模型基礎上進行了大規模強化學習。系統實時整合改進後的模型版本，以優化難題的探索過程。

在此之前，OpenAI 已通過 Astra 模型解決了 10 個複雜問題。這些工作被形式化為 Lean 證明，API 成本約為 2000 美元。

該模型通過構建反例解決了納維-斯托克斯千禧年難題。它證明了在特定流體條件下，速度奇異性可能出現，同時保持有限能量。

約 1 萬個智能體同時探索不同路徑，由 Codex 協調中間結果。經過 88 小時研究，Lean 工具在 17 小時內完成了最終驗證。

有報導稱 OpenAI 正接近解決霍奇猜想。儘管尚未正式公佈，但對該領域的關注凸顯了其內部研究的廣度。

該模型的身份（可能與 'Bel' 項目有關）尚不明確。OpenAI 僅表示其性能遠超 Astra，引發了對其未來公開可用性的討論。

OpenAI 正在開發能夠處理複雜任務的「自動化研究實習生」。這種方法可能徹底改變代碼編寫、實驗設計和科學數據分析。

成功標準已轉向模型的可靠性。測試表明，在相同計算量下，新模型比 Astra 具有更高的通過率。

Timothy Gowers 和 Edward Witten 等專家就學術標準向 OpenAI 提供建議，探討如何為數學家提供 AI 研究工具。

DevDay 大會可能揭示這些多智能體方法是否會向開發者開放。集成此類工具將極大提升研究生產力。

未來在於外部研究人員對這些智能體的使用。長遠來看，每位科學家都可能部署數千個 AI 智能體來高效處理研究課題。

有關諮詢小組和數學進展的詳細信息，請訪問 OpenAI 官方網站。