OpenAI Astra 模型支持多 Agent 协作

OpenAI 通过解决十个未解数学难题宣布其"下一代主要模型"Astra

OpenAI 正在开发一个名为"Astra"的新 AI 模型系列，旨在通过协调多个 agent 协同工作，处理长期运行的任务和复杂问题。

首席执行官 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 也曾尝试但未能解决其他主要问题。他写道："遗憾的是，还没有千禧年大奖问题。"Clay 数学研究所为解决七个千禧年大奖问题中的每一个提供 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 强调了该系统在长期协调多个 agent 来解决特别难的问题的能力。该公司将复杂项目和高等数学作为潜在的使用案例。《The Information》报道了这些细节，引用了三位了解该计划的人士。

根据报道，Astra 将与 OpenAI 现有的 Sol、Terra 和 Luna 系列一起形成一个新的模型类别。它是作为 GPT-6 发布还是作为 GPT-5 系列中的变体（如 GPT-5.7）尚未决定。也没有发布日期。

OpenAI 还计划很快发布一份报告，展示该公司如何使用其最先进的 AI 来解决十个以前未解决的数学问题。目的是展示其当前模型已经能做什么。

Astra 将是首个在新美国监管框架下测试的模型

据《The Information》报道，这些模型已在测试中。它们预计将是首批通过特朗普政府计划的新 AI 框架的模型，该框架要求 AI 模型在公开发布前提交给联邦政府。该政府部门的目标是在本周末前完成框架的定稿。

一个关键问题是，模型在长期运行工作流中是否能够避免复合错误，以及当过程随着上下文增长而偏离轨道时是否能自我纠正。这仍然是当今 agent 系统的主要弱点。像 Astra 这样的多 agent 设置在紧密关联的任务（如规划）上的性能也可能更差，因为协调开销和复合错误可能会抵消任何收益。

长期目标是自主 AI 研究

Astra 的传言与公司之前的声明相符。首席科学家 Jakub Pachocki 在 OpenAI 官方播客上表示，公司希望构建能够在问题上工作数小时或数天的 AI 系统。当前系统通常限于短期任务，但 OpenAI 希望拥有能够在更长时间范围内进行规划、推理和实验的模型。去年年底，该公司甚至提出了如何思考能够解决人类需要数百年才能完成的任务的系统的问题。

到 2028 年 3 月，OpenAI 希望拥有一个能够独立运行研究项目的完全自主 AI 研究员，该系统还将依赖长期运行的 AI 过程。早在今年 9 月，该公司计划拥有一个具有研究实习生级别技能的 AI 系统，将大大加快人类科学家的速度。Astra 可能最终成为该系统。

Pachocki 还表示，这些系统将需要更多的计算。OpenAI 的长期基础设施计划反映了这一雄心。这家初创公司的收入增长速度是否足以资助这一大规模建设仍是一个开放的问题。

不炒作的 AI 新闻 – 由人类策划

订阅 THE DECODER，获得无广告阅读、每周 AI 新闻通讯、我们的专属"AI Radar"前沿报告（每年六次）、完整存档访问权限和评论区访问权限。