OpenAI Astra内部版解决10道十年未解数学难题 算力成本约2000美元

OpenAI于2026年8月前后公布，其下一代主力模型家族Astra的内部版本在数学、量子复杂性和理论计算机科学领域解决了10个开放问题，问题积压至少十年，全部解决方案的token成本约2000美元。

事实还原

根据报道，OpenAI在官网博客中确认，Astra内部版本解决了高维几何、编码理论、群论、量子复杂性、格密码学及极值组合学等领域的10个问题。其中一项证明了非索菲群的存在，解决了群论中的重大开放问题。数学家Ad Thomas Bloom称这些结果为“大新闻”，认为其在构造性方面意义重大。

OpenAI表示，这些问题此前至少十年未取得核心进展，大多数问题积压时间更长。研究流程中，Astra生成数学论证，人类研究员借助同一模型整理成研究论文草稿，随后将论证形式化为Lean证书以供验证系统检查。Noam Brown指出，OpenAI还尝试过其他重大问题但未成功，且未在每个问题上投入大量算力。

机制拆解

Astra被定位为支持长时间运行任务的模型家族，核心在于协调多个智能体协同工作。Sam Altman已在华盛顿特区向政策制定者演示该能力，涵盖项目管理和高阶数学求解。The Information援引知情人士称，Astra将作为独立模型类别，与Sol、Terra和Luna并列，发布时间未定，可能标记为GPT-5.7、GPT-6或其他名称。

全部10个解决方案的token消耗若按Sol API费率计算约2000美元。OpenAI强调，所有数学论证由AI系统生成，人类仅负责手稿准备、形式化验证及最终正确性责任。该模型已进入测试阶段，将成为首批需经特朗普政府新版AI框架审查的产品，框架要求发布前向联邦政府备案，最终期限为本周末。

产业影响

对竞争格局而言，Astra的突破显示OpenAI在科学推理上的推进，可能促使Anthropic等对手调整多智能体协作路线。上下游开发者可通过API调用类似长时任务能力，但需注意成本控制，因单次复杂问题解决已达2000美元级别。

企业用户方面，Astra适合需要长时间协同处理复杂问题的场景，如理论研究或项目管理，但正式发布前需等待政府审批结果。学术界则面临成果归属讨论，OpenAI已表示尊重莱顿人工智能与数学宣言的担忧，避免将纯AI生成证明标记为人类作品。

战略判断

基于现有事实，Astra最可能在政府审查后以独立模型家族形式发布。企业选型时应优先测试其多智能体协调稳定性，而非直接依赖未公开的更高阶版本。