ChainThink 消息，8 月 1 日，OpenAI 首次正式公布下一款主力模型 Astra，其內部版本在 10 個長期未解的數學和理論電腦科學問題上取得新結果。
這些問題的核心結論至少 10 年沒有進展，多數停滯時間更長。其中，Astra 首次構造出非 sofic 群，回答了群論中的一個核心開放問題；
同時推翻 Connes 剛性猜想，並解決 3 個 Erdős 問題。其餘成果涉及球體堆積、編碼理論、量子複雜性和後量子密碼相關問題的新上下界與困難性證明。
OpenAI 表示，模型找到這 10 項結果所使用的 Token，按 Sol API 價格折算約為 2000 美元。
相關數學論證由 Astra 生成，人類隨後協助整理成論文，模型再將每項證明轉成 Lean 證書，用於電腦逐步核驗推導是否成立。