OpenAI 官宣下一代模型 Astra：攻克 10 大数学未解难题，249 页论文引发热议

来源：智东西 / 链新闻 ABMedia（2026-08-02 官宣）

新闻概要

8 月 2 日凌晨，OpenAI 披露下一代重要模型 Astra，并公布其内部版本取得的 10 项数学与理论计算机科学新成果，涉及高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合学等方向。相关成果随后被整理成 249 页论文，另附 62 页解题思路说明；按 Sol API 费率计算，寻找这些解法所需 Token 成本约为 2000 美元。

在官宣前，Altman 已在美国华盛顿向白宫官员、内阁成员和国会议员预览 Astra（据 The Information 报道）。

10 项成果亮点（节选）

1. 高维球体堆积：给出新的球体堆积密度上界，推进至 Cohn–Elkies 阈值——该指数自 1978 年以来首次改进
2. 非 sofic 群：构造出明确的非 sofic 群，推翻「所有可数群都是 sofic 群」猜想（2000 年前后提出，群论核心开放问题）
3. Connes 刚性猜想：证明不同群可能对应同一个冯·诺依曼代数，推翻长期猜想
4. 量子并行重复：证明适用于一般双人量子博弈的指数级并行重复定理
5. 最近向量问题：证明多项式因子近似困难性，与后量子密码学相关
6. 多色拉姆齐数：给出超指数下界，解决厄尔多什第 183 号问题
7. 极值数猜想：解决厄尔多什第 146 号和第 180 号问题

其余成果还涵盖二进制码/球面码、算术电路复杂性、Ehrhart 体积猜想等。每个论证均由模型转化为 Lean 形式化证明证书。

后续进展（8 月 7 日更新）

• OpenAI 发布《Responding to the next frontier of critical cyber capabilities》：Astra 在 Agentic Coding 与网络安全能力上显著进展，按 Preparedness Framework，已无法排除其具备 Critical 等级网络安全能力的可能性（此前 GPT-5.6 Sol 等最高仅评估为 High）
• OpenAI 已提高高能力模型相关活动的安全标准（隔离测试环境、限制网络/工具存取、模型权重保护与加密、Sandbox 执行环境），并暂停尚未符合强化安全要求的 Astra 内部活动
• 计划与政府机构及特定 AI 安全组织合作进一步测试；Altman 表示希望 Astra 最终能广泛开放，但需更多时间处理安全问题

对开发者的意义

1. 模型科研能力的分水岭：Astra 不止处理已有知识，已开始参与「探索解法 → 生成论证 → 形式化验证」的科研核心环节，跨方向同时突破多个长期开放问题。
2. 数学/形式化验证前景：Lean 形式化证明与科研工作流结合，或将成为未来前沿模型的标准能力。
3. 发布节奏未定：因安全评估（潜在 Critical 资安能力），Astra 公开发布时间仍存在变数，正式发布前值得持续关注。

参考链接

• 36氪/智东西报道：https://eu.36kr.com/zh/p/3921831591341702
• 链新闻 ABMedia：https://abmedia.io/openai-astra-ai-critical-model