OpenAI 未發佈 Astra 模型攻克 10 項數學難題 2026-08-01 17:53 來源： x.com 事件類型： 上線/更新 根據新披露信息，該未發佈模型（或爲 GPT-6）在數學、量子複雜性和理論計算機科學領域攻克 10 項長期未解難題，包括首個顯式非 sofic 羣、推翻 Connes 剛性猜想等。核心論證由 Astra 生成，並在 Lean 中形式化證明，產出 249 頁手稿及機器可驗證證書。單次成功求解在 Sol API 費率下 token 成本僅約 2000 美元。 相關專案 Astra Astra Astra QnA3 GPT
