OpenAI 于 8 月 1 日通过其研究员 Noam Brown 在 X 平台披露，其内部版本的新一代模型 Astra 已成功解决数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题。据 OpenAI 介绍，Astra 是一款尚未对外推出、专门设计用于处理复杂且长时间执行任务的模型，被视为“OpenAI 下一代主要模型系列”。

OpenAI 选择的研究问题均为至少 10 年或更长时间未取得进展的难题，涵盖高维几何、编码理论、算术电路复杂度、群论、量子复杂度、晶格密码学以及极值组合学等领域。值得注意的是，OpenAI 表示并未为此投入大量算力，若以 GPT-5.6 Sol 的 API 费率计算，生成这些解答所需的 token 总数成本约为 2000 美元。

OpenAI 计划将 Astra 提出的证明交由研究人员整理成论文手稿，并会将每项证明转换为 Lean certificate，以便通过数学验证系统进行严格检验。这一做法旨在增强结果的可信度，但 OpenAI 也表示，这些成果将交由专业社群通过同行评审和独立验证进一步核实。

据外媒 The Information 报道，OpenAI 确实正在开发 Astra，这是一款专为长时间运行的工作负载打造的全新模型。OpenAI 尚未决定 Astra 最终将以 GPT-5.7、GPT-6 或独立系列命名推出，也未公布正式上线时间。另有消息称，OpenAI 首席执行官 Sam Altman 近期曾在华盛顿向白宫官员展示过这套系统。

外界对 Astra 的成果持谨慎态度。有研究人员指出，模型在特定数学题目上的出色表现，并不代表其在更广泛的推理、规则遵循或一般任务上已经成熟。OpenAI 则强调，这些成果将接受同行评审和独立验证，以避免过度解读。

此次发布正值 OpenAI 产品更新频繁之际。约 5 周前，OpenAI 刚推出 GPT-5.6 系列，但因美国政府限制，直到 7 月才广泛开放。随后，OpenAI 对 GPT-5.6 系列的推理堆栈进行了重大更新，将 GPT-5.6 Luna 的价格大幅降低 80%，GPT-5.6 Terra 的价格降低 20%。这一降价举措被认为是对中国初创公司月之暗面推出 Kimi K3 模型以及客户对 AI 运算成本日益敏感的回应。

Astra 的亮相，标志着 OpenAI 在追求更强推理能力上的又一进展，同时也引发了对 AI 在科学研究中角色的讨论。尽管成果令人瞩目，但将其视为通用 AI 能力的提升仍需谨慎。