OpenAI 的 Astra 模型解決十年來的數學難題

OpenAI 的 Astra 模型解決十年來的數學難題

OpenAI 近日發佈了一份數學報告，正式確認了 Astra 模型的名稱。該公司表示，Astra 模型是其「下一代主要模型家族」，已經解決了十個數學和理論計算機科學中的開放問題。這些問題至少有十年沒有任何進展，甚至更長時間沒有任何突破。

背景分析

Astra 模型的成果涵蓋了高維幾何、編碼理論、群理論、量子複雜性、格子密碼學和極端組合數學等多個領域。其中一個證明確立了非 sofic 群的存在，解決了群理論中的一个重大的開放問題。英國曼徹斯特大學的數學家 Thomas Bloom 對這些成果給予了高度評價，他在 X 上表示，這些成果是「大新聞」，甚至比五月份發佈的單位距離猜想的反例更重要。

專家評價

Bloom 同時否認了人工智慧取代數學家的說法，他認為這種說法毫無意義，因為人工智慧是在數學家的基礎上發展的，且所使用的數學理論和數據都是由數學家建立和提供的。OpenAI 的研究人員 Noam Brown 表示，Astra 模型已經嘗試解決其他重大問題，但未能成功。他指出，Astra 模型是一個「重大步驟」，但距離解決千禧年大獎問題還有一段距離。

未來展望

OpenAI 的 Astra 模型為數學和理論計算機科學的發展帶來了新的希望。該公司表示，生成所有十個解決方案所使用的 token 僅需花費約 2000 美元。人類和模型共同合作，將模型的論證轉化為研究論文，並使用 Lean 對每個證明進行了形式化，創建了機器可檢查的正確性證書。這些成果不僅展示了 Astra 模型的能力，也為人工智慧和數學的合作開辟了新的途徑。

結論

OpenAI 的 Astra 模型解決十年來的數學難題，標誌著人工智慧在數學和理論計算機科學領域的重大突破。這些成果不僅展示了 Astra 模型的能力，也為人工智慧和數學的合作開辟了新的途徑。未來，人工智慧和數學的合作將會帶來更多新的發現和突破，推動人類知識的進步和發展。