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

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

与此同时，OpenAI 发布了一份报告（报告下载地址点这里），详述其最先进 AI 如何成功解决了十道此前从未被攻克的数学难题。这批问题横跨高维几何、编码理论、群论、量子复杂性及极值组合学等多个前沿领域，每道题的学术积压时间均超过十年，而完成全部求解的算力成本仅约 2000 美元。

清华姚班毕业生、今年 1 月开始进入 OpenAI 工作的 Lijie Chen 今天在其社交媒体上发言，证实了这 10 个证明是由其旗舰模型 Astra 所做。

Astra 定位：全新模型家族，发布时间未定

据上述知情人士介绍，Astra 将作为一个独立的模型类别存在，与 OpenAI 现有的 Sol、Terra 和 Luna 并列。目前尚不清楚 OpenAI 计划何时正式发布 Astra，公司内部也尚未决定该模型将被标记为 GPT-6，还是 GPT-5 系列中的一个子版本（如 GPT-5.7）。

尽管相关模型已进入测试阶段，其正式发布节奏将受到外部因素制约。据一位知情人士表示，Astra 系列模型预计将成为首批须经特朗普政府新版 AI 框架审查的产品——该框架要求 AI 公司在向公众发布模型前，须事先向联邦政府提交备案。特朗普政府为该框架设定的最终期限为本周末。

十项数学突破：AI 首次系统性攻克前沿未解难题

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

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

学术影响与归属争议

这并非 OpenAI 首次在数学领域取得突破性成果。今年 5 月，OpenAI 在评估一个未发布模型时，已令 AI 成功推翻了埃尔德什单位距离猜想，此后学术界随即跟进发表了多篇相关论文。

随着 AI 系统在科研中扮演愈发核心的角色，成果归属问题也引发关注。OpenAI 表示，尊重并理解莱顿人工智能与数学宣言签署者们的担忧，并明确指出，若将完全由 AI 生成的证明标记为人类作品，既扭曲了 AI 系统的贡献，也模糊了人类智识工作的本质边界。

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