OpenAI 於 8 月 1 日通過其研究員 Noam Brown 在 X 平台披露，其內部版本的新一代模型 Astra 已成功解決數學、量子複雜性和理論電腦科學領域的 10 個重大開放問題。據 OpenAI 介紹，Astra 是一款尚未對外推出、專門設計用於處理複雜且長時間執行任務的模型，被視為“OpenAI 下一代主要模型系列”。

OpenAI 選擇的研究問題均為至少 10 年或更長時間未取得進展的難題，涵蓋高維幾何、編碼理論、算術電路複雜度、群論、量子複雜度、晶格密碼學以及極值組合學等領域。值得注意的是，OpenAI 表示並未為此投入大量算力，若以 GPT-5.6 Sol 的 API 費率計算，生成這些解答所需的 token 總數成本約為 2000 美元。

OpenAI 計劃將 Astra 提出的證明交由研究人員整理成論文手稿，並會將每項證明轉換為 Lean certificate，以便通過數學驗證系統進行嚴格檢驗。這一做法旨在增強結果的可信度，但 OpenAI 也表示，這些成果將交由專業社群通過同行評審和獨立驗證進一步核實。

據外媒 The Information 報道，OpenAI 確實正在開發 Astra，這是一款專為長時間執行的工作負載打造的全新模型。OpenAI 尚未決定 Astra 最終將以 GPT-5.7、GPT-6 或獨立系列命名推出，也未公佈正式上線時間。另有訊息稱，OpenAI 執行長 Sam Altman 近期曾在華盛頓向白宮官員展示過這套系統。

外界對 Astra 的成果持謹慎態度。有研究人員指出，模型在特定數學題目上的出色表現，並不代表其在更廣泛的推理、規則遵循或一般任務上已經成熟。OpenAI 則強調，這些成果將接受同行評審和獨立驗證，以避免過度解讀。

此次釋出正值 OpenAI 產品更新頻繁之際。約 5 周前，OpenAI 剛推出 GPT-5.6 系列，但因美國政府限制，直到 7 月才廣泛開放。隨後，OpenAI 對 GPT-5.6 系列的推理堆疊進行了重大更新，將 GPT-5.6 Luna 的價格大幅降低 80%，GPT-5.6 Terra 的價格降低 20%。這一降價舉措被認為是對中國初創公司月之暗面推出 Kimi K3 模型以及客戶對 AI 運算成本日益敏感的回應。

Astra 的亮相，標誌著 OpenAI 在追求更強推理能力上的又一進展，同時也引發了對 AI 在科學研究中角色的討論。儘管成果令人矚目，但將其視為通用 AI 能力的提升仍需謹慎。