OpenAI 发布 Astra 并解决十道数学难题
The Decoder··作者 Matthias Bastian
关键信息
OpenAI 表示，这十项结果涵盖高维几何、编码理论、群论、量子复杂性、格密码和极值组合数学，其中一项证明还建立了非 sofic 群的存在。公司称这些证明已用 Lean 形式化，生成全部十个解答所需的 token 按 API 价格计算约为 2,000 美元。
资讯摘要
OpenAI 据报道正在开发一个名为 Astra 的新模型家族，被定位为公司的“下一代重要模型”，目标是处理可能持续数小时甚至数天的问题。该系统被描述为一种多智能体架构，也就是多个智能体协同工作，持续完成长周期任务，而不是只对单个提示词做出一次性回应。报道称，OpenAI 首席执行官 Sam Altman 已经在华盛顿向政界人士和监管者展示过 Astra。OpenAI 还表示，这一系统正在进入美国政府审查流程，未来在公开发布前可能需要获得官方批准。
公司最新发布的数学报告首次正式确认了 Astra 这一名称，并称其内部版本解决了十个数学和理论计算机科学中的公开难题。OpenAI 表示，这些问题在至少十年内都没有取得进展，而且多数问题的历史更久。结果涉及高维几何、编码理论、群论、量子复杂性、格密码和极值组合数学等多个领域。公司还称，其中一项证明建立了非 sofic 群的存在，从而解决了群论中的一个重大开放问题。
资讯正文
OpenAI 通过公布十个此前未解的数学问题解答，宣布其“下一代主模型” Astra
要点
- OpenAI 正在研发一个名为“Astra”的新 AI 模型家族，旨在通过协调多个协同工作的智能体来处理长时间运行的任务和复杂问题。
- 首席执行官 Sam Altman 已经在华盛顿特区展示过 Astra。这些模型目前正在接受测试，并将成为首批进入计划中的美国政府审查流程的模型；该流程要求在公开发布前获得官方批准。
- 该项目体现了 OpenAI 更广泛的雄心：打造能够连续数小时甚至数天持续处理问题的 AI 系统。
更新——
- 补充了 Astra 公告和数学论文。
更新：
OpenAI 已发布其数学报告，首次正式确认了 Astra 这一名称。公司表示，Astra 的一个内部版本——其“下一代主模型家族”——解决了数学与理论计算机科学中的十个开放问题。数学家们在这些问题上至少已有十年没有取得进展，而在大多数情况下，这个时间更长。
这些成果涵盖了从高维几何、编码理论到群论、量子复杂性、格密码学以及极值组合数学等多个领域。其中一个证明建立了非 sofic 群的存在，解决了群论中的一个重大开放问题。
曼彻斯特大学数学家、erdosproblems.com 运营者 Thomas Bloom 在 X 上称这些结果是“重大新闻”。他认为，这些结果比 5 月发表的单位距离猜想反例更重要。“也许不会比对单位距离猜想的证明更重要，但就构造而言，这很大，”Bloom 写道。
Bloom 还驳斥了“AI 正在取代数学家”的说法，认为这种说法毫无道理，因为 AI 依赖于一个多世纪以来的数学理论，由数学家构建，并且接受了数学家们历史上写下的全部内容的训练。
参与 Astra 所使用的测试时推理技术研究的研究员之一 Noam Brown 在 X 上表示，OpenAI 也曾尝试攻克其他重大问题，但未能成功。“遗憾的是，目前还没有任何千禧年大奖难题（yet），”他写道。克雷数学研究所对七个千禧年大奖难题中的每一个提供 100 万美元奖金，但自 2000 年设立以来，只有一个问题被解决。Brown 补充说：“但我们在每个问题上也没有投入太多。把测试时算力继续往上推，仍然有可能。”他称 Astra 是“科学推理上的一个重大进步”。
Astra 的这些解答按 API 费率计算成本约为 2,000 美元
OpenAI 表示，用于生成全部十个解答的 token，按 Sol 的 API 费率计算，成本约为 2,000 美元。在模型给出论证之后，人类与同一个模型协作，将这些论证整理成研究论文。该模型还用 Lean 将每个证明形式化，生成可由机器检查的数学正确性证书；OpenAI 还发布了每个解答的模型推理过程导览。
OpenAI 表示，其研究人员帮助准备了论文并将证明形式化，公司对其准确性负责。不过，数学论证本身来自 Astra。
该公司认为，如果把一个完全由 AI 生成的证明署名为人类作者，将会歪曲系统的贡献，也会歪曲真正人类智力劳动的性质；公司还提到《莱顿 AI 与数学宣言》作为参考，用以说明在 AI 辅助研究中应如何分配署名和功劳。
OpenAI 据称正在打造 Astra，这是一系列旨在连续工作数小时甚至数天的模型
OpenAI 正在研发一个暂名为“Astra”的新模型家族，旨在比公司迄今发布的任何产品都更擅长长时间运行的任务。
首席执行官 Sam Altman 本周在华盛顿特区向政界人士和监管机构演示了 Astra。OpenAI 强调，该系统能够在较长时间内协调多个智能体，以攻克尤其困难的问题。公司认为，复杂项目和高级数学是潜在应用场景。《The Information》援引三位知情人士报道了这些细节。
据该报道，Astra 将与 OpenAI 现有的 Sol、Terra 和 Luna 系列并列，构成一个新的模型类别。它最终是以 GPT-6 的形式发布，还是作为 GPT-5 线中的一个变体，例如 GPT 5.7，目前仍未决定。发布日期也尚未确定。
OpenAI 还计划很快发布一份报告，展示公司如何利用其最先进的 AI 解决了十个此前未解的数学问题。目标是证明其现有模型已经能做到什么程度。
Astra 将是首个在新的美国监管框架下接受测试的模型
据《The Information》称，这些模型已经在测试中。它们预计将是首批接受特朗普政府计划推出的新 AI 框架审查的模型之一；该框架将要求 AI 模型在公开发布前提交给联邦政府。政府的目标是在本周末前敲定这一框架。
一个关键问题是，这些模型能否在长时间工作流程中避免错误累积，并在流程因上下文不断增长而偏离轨道时进行自我纠正。这仍然是当今智能体系统的主要弱点。像 Astra 这样的多智能体架构在规划等紧密耦合的任务上表现也可能更差，因为协调开销和错误累积会抵消任何收益。
长期目标是实现自主 AI 研究
Astra 的传闻与公司此前的表态一致。首席科学家 Jakub Pachocki 去年夏天在 OpenAI 官方播客中表示，公司希望打造能够针对一个问题工作数小时甚至数天的 AI 系统。当前系统往往只能处理短时任务，但 OpenAI 希望模型能够在更长时间跨度内进行规划、推理和实验。去年年底，公司甚至提出了一个问题：应当如何看待那种能够解决一个人类需要数百年才能完成的任务的系统。
到2028年3月，OpenAI希望拥有一名完全自主的AI研究员，能够独立开展研究项目，而那套系统也将依赖长时间运行的AI进程。最早到今年9月，该公司计划推出一套具备研究实习生水平能力的AI系统，能够大幅加快人类科学家的研究进度。Astra最终可能就会成为那样的系统。
Pachocki还表示，这些系统将需要远远更多的算力。OpenAI的长期基础设施规划反映了这一雄心。这个初创公司收入能否增长得足够快，从而为如此大规模的建设提供资金，仍然是一个悬而未决的问题。
来源与参考
收录于 2026-08-02