OpenAI近日确认其下一代模型家族Astra的存在，并透露该模型以仅约2000美元的算力成本，成功破解了十项长期悬而未决的数学难题。这一进展被视为OpenAI在通用人工智能（AGI）路线上的实质性突破，同时也将成为美国新版AI监管框架落地的首批试验案例。
据科技媒体The Information援引知情人士消息，OpenAI首席执行官Sam Altman本周亲赴华盛顿特区，向政策制定者和监管机构演示了Astra模型。演示重点展示了该模型驱动多个AI智能体长期协同工作、处理高难度复杂任务的能力，应用场景涵盖项目管理乃至高阶数学问题求解。
OpenAI同步发布的一份报告显示，Astra模型在数学和理论计算机科学领域取得十项重大突破，覆盖高维几何、编码理论、群论、量子复杂性及极值组合学等前沿方向。涉及的问题包括高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题难度、埃尔哈特体积猜想、多色拉姆齐数下界以及极值数猜想等。其中多项成果直接回应了数学家保罗·埃尔德什留下的经典公开问题。
在研究流程上，Astra模型负责生成全部数学论证，人类研究员借助同一模型协助整理论文草稿，并将论证转化为Lean代码进行形式化验证。OpenAI强调，十项突破中的数学论证均由AI系统生成，人类职责在于协助准备手稿、完成形式化验证，并对最终结果正确性承担责任。
这并非OpenAI首次在数学领域取得突破。今年5月，OpenAI在评估一个未发布模型时，已成功推翻埃尔德什单位距离猜想，学术界随后跟进发表了多篇相关论文。随着AI在科研中扮演越来越核心的角色，成果归属问题引发广泛讨论。OpenAI表示，尊重莱顿人工智能与数学宣言签署者的担忧，并明确指出将完全由AI生成的证明标记为人类作品，既扭曲了AI系统的贡献，也模糊了人类智识工作的本质边界。
据透露，Astra将作为独立模型类别存在，与现有Sol、Terra和Luna并列。目前OpenAI尚未决定其正式命名是GPT-6还是GPT-5系列子版本（如GPT-5.7），发布时间也未确定。Astra系列预计将成为首批须经特朗普政府新版AI框架审查的产品，该框架要求AI公司在发布前向联邦政府提交备案，最终期限设定为本周末。
此外，OpenAI近期还推出了面向学术研究人员的ChatGPT专项计划，为十万名科学家和数学家提供免费访问最强模型的权限，并在模型开发中持续以开放性研究问题作为测试基准。这一系列动作表明，AI正从辅助工具加速演变为自主科研的驱动力量。