OpenAI 未發佈 Astra 模型攻克 10 項數學難題

深潮 TechFlow 消息，8 月 01 日，根據新披露信息，該未發佈模型（或為 GPT-6）在數學、量子複雜性和理論計算機科學領域攻克 10 項長期未解難題，包括首個顯式非 sofic 群、推翻 Connes 剛性猜想等。核心論證由 Astra 生成，並在 Lean 中形式化證明，產出 249 頁手稿及機器可驗證證書。單次成功求解在 Sol API 費率下 token 成本僅約 2000 美元。