科技 宏观OpenAI确认Astra模型存在，以2000美元算力破解十项数学难题

OpenAI正准备推出一个名为“Astra”的全新模型家族，其核心能力在于驱动多个AI智能体长期协同运作以解决高难度问题。这一进展标志着该公司在通用人工智能路线上迈出实质性一步，同时也将成为特朗普政府新版AI监管框架落地的首批试验案例。

科技媒体The Information援引三位知情人士透露，OpenAI首席执行官Sam Altman本周亲赴华盛顿特区，向政策制定者和监管机构演示了Astra模型。OpenAI重点展示了该模型让多个智能体协同工作、长时间处理复杂任务的能力，应用场景涵盖项目管理乃至高阶数学难题求解。

与此同时，OpenAI发布了一份报告，详述其最先进AI如何成功解决了十道此前从未被攻克的数学难题。这批问题横跨高维几何、编码理论、群论、量子复杂性及极值组合学等多个前沿领域，每道题的学术积压时间均超过十年，而完成全部求解的算力成本仅约2000美元。清华姚班毕业生、今年1月开始进入OpenAI工作的Lijie Chen在其社交媒体上发言，证实了这10个证明是由其旗舰模型Astra所做。

据知情人士介绍，Astra将作为一个独立的模型类别存在，与OpenAI现有的Sol、Terra和Luna并列。目前尚不清楚OpenAI计划何时正式发布Astra，公司内部也尚未决定该模型将被标记为GPT-6，还是GPT-5系列中的一个子版本（如GPT-5.7）。尽管相关模型已进入测试阶段，其正式发布节奏将受到外部因素制约。据一位知情人士表示，Astra系列模型预计将成为首批须经特朗普政府新版AI框架审查的产品——该框架要求AI公司在向公众发布模型前，须事先向联邦政府提交备案。特朗普政府为该框架设定的最终期限为本周末。

OpenAI公布的报告显示，Astra模型在数学和理论计算机科学领域取得了十项重大突破，涵盖高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等。其中多项成果直接解决了数学家保罗·埃尔德什留下的经典公开问题。

在研究流程上，Astra模型负责生成数学论证，人类研究员借助同一模型协助整理论文草稿，随后再将论证转化为Lean代码进行形式化验证。OpenAI强调，上述十项突破中所有数学论证均由AI系统生成，人类的职责在于协助准备手稿、完成形式化验证，并对最终结果的正确性承担责任。

这并非OpenAI首次在数学领域取得突破性成果。今年5月，OpenAI在评估一个未发布模型时，已令AI成功推翻了埃尔德什单位距离猜想，此后学术界随即跟进发表了多篇相关论文。随着AI系统在科研中扮演愈发核心的角色，成果归属问题也引发关注。OpenAI表示，尊重并理解莱顿人工智能与数学宣言签署者们的担忧，并明确指出，若将完全由AI生成的证明标记为人类作品，既扭曲了AI系统的贡献，也模糊了人类智识工作的本质边界。

值得注意的是，OpenAI近期还推出了面向学术研究人员的ChatGPT专项计划，为十万名科学家和数学家提供免费访问最强模型的权限，并在模型开发过程中持续以开放性研究问题作为测试基准。