OpenAI发布下一代主力模型家族Astra，一举攻克十道数学难题

OpenAI正式对外确认了代号为Astra的下一代主力模型家族。此前该公司发布了一份数学研究报告，披露Astra内部版本已成功解决十个数学与理论计算机科学领域的长期未解难题，这也是Astra名称首次得到官方确认。这十个问题横跨高维几何、编码理论、群论、量子复杂性、格密码学及极值组合学等多个前沿领域，其中大多数问题已搁置数十年之久。

曼彻斯特大学数学家托马斯·布鲁姆在社交媒体上将这批成果称为重大新闻，认为其意义甚至超过今年5月发布的单位距离猜想反例。他同时驳斥了AI正在取代数学家的说法，指出该模型建立在逾百年的数学理论积累之上，由数学家参与构建，并以数学家的全部著述为训练素材，因此这一说法并不成立。参与Astra测试时推理技术研发的研究员诺姆·布朗则坦言，团队也曾尝试攻克其他重大难题但未能成功，并表示目前投入在每个问题上的算力并不算多，未来仍有较大提升空间。

在研究流程上，Astra生成数学论证后，人类研究人员与模型协作将其整理成论文，模型还在Lean语言中对每个证明进行了形式化验证，生成可由机器检验的正确性证书。OpenAI表示，生成全部十个解答所消耗的token按Sol模型API定价折算约为2000美元。公司同时声明，将AI独立完成的证明归功于人类作者的做法有失公允，并援引莱顿AI与数学宣言作为署名规范的参考依据。

从产品定位来看，Astra旨在突破现有模型在任务时长上的瓶颈。OpenAI首席科学家雅库布·帕乔茨基此前曾表示，公司希望构建能够在一个问题上持续工作数小时乃至数天的AI系统。Astra将与现有的Sol、Terra、Luna模型家族并列，形成新的模型层级。至于最终是以GPT-6还是GPT-5某一变体的形式发布，目前尚未决定，公开发布日期也尚未公布。

监管层面，Astra预计将成为首批接受特朗普政府新AI监管框架审查的模型，该框架要求AI模型在公开发布前须提交联邦政府审核，相关规则预计本周内敲定。CEO萨姆·奥特曼已赴华盛顿向政策制定者演示了Astra的能力。从更长远的目标来看，OpenAI计划于2028年3月前实现完全自主的AI研究员，并预计最早今年9月推出具备研究实习生水平的AI系统，大幅加速科学研究进程，Astra有望成为实现这一目标的关键系统。

要点

• Astra内部版本已解决十个至少十年未有进展的数学与理论计算机科学难题，生成全部解答的算力成本折算约为2000美元。
• Astra采用多智能体协作架构，设计目标是处理需要数小时乃至数天的长周期复杂任务，与现有Sol、Terra、Luna模型家族并列构成新层级。
• Astra将成为首批接受美国政府新AI监管框架审查的模型，须在公开发布前完成政府审核，目前尚无具体发布时间表。
• OpenAI明确表示不会将AI独立完成的数学证明归功于人类作者，并援引莱顿宣言作为AI辅助研究署名规范的参考标准。
• OpenAI长期目标是在2028年前实现完全自主的AI研究员，Astra被视为实现这一路线图的核心系统之一。