OpenAI确认下一代大型模型家族Astra，一次解决十个开放数学难题

OpenAI 已正式确认其下一代主要模型系列的名称 Astra，并发布了一份数学报告，显示 Astra 的内部版本解决了数学和理论计算机科学中十个此前未解决的问题。这些问题涵盖高维几何、编码理论、群论、量子复杂性、格密码学和极值组合学等多个领域。在已解决的问题中，包括对非 sofic 群存在性的证明，这是群论中的一个核心开放问题。曼彻斯特大学的数学家托马斯·布鲁姆在 X 上称这些结果为“重大新闻”，评价高于五月发表的单位距离猜想反例。诺姆·布朗是 Astra 所依赖的测试时推理技术的关键人物，他在 X 上承认 OpenAI 在其他重大问题上也未能成功，包括千禧年大奖难题，并指出他们每个问题投入的计算量不大，测试时计算可以进一步扩展。布朗将 Astra 描述为“科学推理的一大步”。这些解决方案的计算成本极低：根据 OpenAI 的说法，所需的令牌在 Sol 模型的 API 价格下大约只需 2000 美元。然后，人类与同一模型一起将论证整理成手稿，每个证明都被形式化为 Lean 证书，这是一种机器可验证的数学正确性确认。OpenAI 还发布了模型对每个解决方案的思考过程叙述。公司澄清说，虽然他们协助了手稿准备和形式化并对其正确性负责，但数学论证本身来自系统，将完全由 AI 生成的证明归因于人类作者会歪曲系统的贡献和真正人类智力工作的本质，并引用了《莱顿人工智能与数学宣言》的签署者。布鲁姆淡化了 AI 取代数学家的说法，认为当 AI 建立在超过一个世纪的数学理论之上、由数学家构建、并基于所有数学家写过的内容进行训练时，说 AI 取代数学家并不恰当。此前报道称，首席执行官山姆·奥特曼在华盛顿特区向政界人士和监管者演示了 Astra，并且 Astra 是一种区别于现有 Sol、Terra 和 Luna 系列的新模型类别，有可能作为 GPT-6 发布，或作为 GPT-5 系列中的变体（如 GPT-5.7）发布。Astra 预计将成为第一个接受特朗普政府计划的新框架审查的模型，该框架要求在公开发布前获得联邦政府审查。该模型设计用于长时间的多智能体协作，旨在解决复杂项目和高级数学任务。OpenAI 已表示其目标是开发能够处理数小时或数天问题的 AI 系统，并计划在 2028 年 3 月前完成一个完全自主的 AI 研究员。