同時關聯該項目與事件的快訊
根據新披露信息，該未發佈模型（或爲 GPT-6）在數學、量子複雜性和理論計算機科學領域攻克 10 項長期未解難題，包括首個顯式非 sofic 羣、推翻 Connes 剛性猜想等。核心論證由 Astra 生成，並在 Lean 中形式化證明，產出 249 頁手稿及機器可驗證證書。單次成功求解在 Sol API 費率下 token 成本僅約 2000 美元。
據 The Information 報道，OpenAI CEO Sam Altman 本週向美國參議員展示全新 Astra AI 模型。該模型支持多個 AI 智能體協同執行復雜任務，重點提升長週期任務處理能力。