同时关联该项目与事件的快讯
根据新披露信息，该未发布模型（或为 GPT-6）在数学、量子复杂性和理论计算机科学领域攻克 10 项长期未解难题，包括首个显式非 sofic 群、推翻 Connes 刚性猜想等。核心论证由 Astra 生成，并在 Lean 中形式化证明，产出 249 页手稿及机器可验证证书。单次成功求解在 Sol API 费率下 token 成本仅约 2000 美元。
据 The Information 报道，OpenAI CEO Sam Altman 本周向美国参议员展示全新 Astra AI 模型。该模型支持多个 AI 智能体协同执行复杂任务，重点提升长周期任务处理能力。