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

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