OpenAI 近日發佈研究文章，正式披露了代號為 Astra 的下一代大模型。根據 OpenAI 的介紹，Astra 被定位為「我們的下一個主要模型」，其內部版本已在數學和理論計算機科學領域取得十項重大進展，所解決的問題在過去至少十年內未有實質性突破，部分難題甚至困擾學界更長時間。
Astra 模型在數學領域取得重大進展
OpenAI 的研究涵蓋了多個高深的數學領域，包括高維幾何、編碼理論、算術電路複雜性、羣論、量子複雜性、格密碼學和極值組合學等。具體成果涉及非 sofic 羣的存在性證明、對 Connes 剛性猜想的否證、高維球體堆積的新邊界，以及解決了數學家 Paul Erdős 提出的多個問題。OpenAI 指出，使用其 Sol API 按 token 計費，解決這些問題的總成本約為 US$2,000 (約 HK$15,600)。
在研究流程上，人類研究人員利用 Astra 模型構建論證思路並撰寫手稿，隨後 Astra 將每一個論證形式化為 Lean 證書，使證明過程能夠通過數學驗證系統進行檢驗。這種「人機協作」模式展示了 Astra 在處理需要長期推理和嚴格驗證的複雜任務方面的能力。
OpenAI 正在開發 Astra 模型以應對複雜任務
據 The Information 獨立確認，OpenAI 確實正在開發 Astra，這是一個專為長時運行工作負載設計的新模型家族。Astra 的核心特性在於支持 AI 智能體在更大問題的不同部分上進行協作，這意味著它不僅能夠完成單一任務，還能協調多個智能體分工合作，共同攻克複雜度極高的學術難題。
關於 Astra 的最終命名，OpenAI 尚未做出決定。該模型可能以 GPT-5.7、GPT-6 或其他名稱發佈。有分析指出，Astra 作為一次重大突破性模型，其發佈策略可能參考 Anthropic 的做法：向普通消費者提供一個版本，而功能更強大的變體則需要經過特殊審批才能訪問。