OpenAI新模型Astra首秀：一口氣推進10道十年未解數學難題

BiRun 訊，OpenAI 首次正式公佈下一款主力模型 Astra。內部版本在 10 個長期未解的數學和理論計算機科學問題上取得新結果。這些問題的覈心結論至少 10 年沒有進展，多數停滯時間更長。

其中一些問題被直接解決或推翻。Astra 首次構造出非 sofic 羣，回答了羣論中的一個覈心開放問題；它還推翻 Connes 剛性猜想，並解決 3 個 Erdős 問題。其餘成果包括球體堆積、編碼理論、量子復雜性和後量子密碼相關問題的新上下界與困難性証明。

OpenAI 稱，模型找到這 10 項結果所用的 Token，按 Sol API 價格折算約為 2000 美元。

這些數學論証由 Astra 生成。人類隨後協助整理成論文，模型再把每項証明轉成 Lean 証書，讓計算機逐步覈驗推導是否成立。OpenAI 已公開論文、証明証書和模型的推理過程。

OpenAI