OpenAI於8月2日凌晨披露了下一代模型Astra，並公佈其內部版本在數學與理論電腦科學領域取得的10項新成果，涵蓋高維幾何、編碼理論、群論、算術電路複雜性、量子複雜性、格密碼學和極值組合學等方向。這些成果集中展示了Astra探索前沿科研問題的能力，相關難題均已開放至少10年，多數問題的研究歷史更為悠久。OpenAI藉助同一模型將論證整理成249頁論文，另附一份62頁的解題思路說明。按照Sol API費率計算，模型尋找這些解法所需的Token總成本約為2000美元（約合人民幣13500元）。

在OpenAI正式公佈這些成果前，Astra已經進入美國政策制定者的視野。據The Information報道，OpenAI CEO薩姆·奧爾特曼（Sam Altman）本週在美國華盛頓向包括白宮官員、內閣成員和國會議員在內的政策制定者預覽了Astra。這顯示出OpenAI在釋出前沿模型時，正積極與政策層溝通，以應對監管和國家安全方面的關切。

此次公佈的10項成果中，最引人注目的包括：高維球體堆積密度上界取得自1978年以來的首次改進，推進至Cohn–Elkies閾值；構造出明確的非sofic群，推翻了“所有可數群都是sofic群”的猜想；在Connes剛性猜想上證明不同群可能對應同一個馮·諾依曼代數；以及解決厄爾多什第146號、第180號和第183號問題等。這些成果覆蓋了從純數學到理論電腦科學的多個前沿領域，顯示出Astra在跨研究方向上的解題潛力。

OpenAI強調，這些數學論證由AI系統生成，公司參與了論文整理和Lean形式化驗證，並對結果的正確性負責。OpenAI認為，如果一項證明完全由AI系統生成卻署名為人類作者，會歪曲AI系統和人類原創工作的性質。公司希望數學界進一步檢驗這些成果，將其置於既有研究脈絡中，並在此基礎上開展新研究。

值得注意的是，這並非OpenAI首次公佈由AI參與解決數學難題。今年5月，OpenAI曾公開一項由AI發現的厄爾多什單位距離猜想反例，該結果由一款尚未釋出的模型在評估期間發現，並已推動多項後續研究。此次Astra的成果進一步表明，AI在數學研究中的角色正從輔助工具向主動解題者轉變。

對於AI在數學研究中的角色，學界存在不同看法，部分數學家對其影響持謹慎態度。OpenAI也承認，AI系統參與數學研究正在帶來一系列科技公司無法單獨回答的問題。此次成果仍需數學界進一步檢驗和評價，Astra能否將這種能力穩定擴充套件至科學領域，將成為其正式釋出前的一大看點。