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

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

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

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

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