OpenAI 正在开发代号「Astra」的全新模型家族，主打多个人工智慧（AI）代理长时间协同运作、共同解决高难度问题的能力。这项技术若顺利问世，将是该公司迈向通用人工智慧（AGI）的重要里程碑，同时也可能成为美国川普政府新版 AI 监管框架上路后，第一批接受审查的产品。

根据《The Information》引述三名知情人士报导，OpenAI 执行长奥特曼（Sam Altman）本周亲自前往华盛顿特区，向政策制定者与监管官员展示 Astra 的实际运作。

简报中特别强调该模型能调度多个智能体长时间分工合作，处理从专案管理到高阶数学证明等复杂任务。

与此同时，OpenAI 也发布一份报告，公布其最先进 AI 系统成功攻克十道长年悬而未解的数学难题，范围横跨高维几何、程式设计理论、群论、量子复杂性与极值组合学等尖端领域。

这些问题各自悬置学界超过十年，而 OpenAI 仅耗费约两千美元的运算成本便完成全部求解。

今年一月加入 OpenAI 的研究员 Lijie Chen 在社群平台上证实，这十道题目的证明正是出自旗舰模型 Astra 之手。

根据知情人士说法，Astra 将自成一个独立的模型类别，与 OpenAI 现有的 Sol、Terra、Luna 系列并列。

目前公司内部尚未拍板该模型上市时间，也还没决定其命名方式，究竟会挂牌为外界期待已久的 GPT-6，或仅作为 GPT-5 系列的子版本（如 GPT-5.7）发布，仍是未知数。

值得留意的是，尽管相关模型已进入测试阶段，其公开发布脚步恐将受制于监管环境。知情人士透露，Astra 很可能成为首批必须通过川普政府新版 AI 框架审查的产品。

依该框架规定，AI 业者须在模型正式对外发布前，先向联邦政府提交备案。川普政府为此设下的最后期限，正落在本周末。

依据 OpenAI 公布的内容，Astra 在数学与理论电脑科学领域一举拿下十项重大成果，包括高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等极值数猜想等。

其中不少成果直接回应了已故数学家 Paul Erdős 留下的经典开放问题。

在具体研究流程上，OpenAI 说明由 Astra 模型负责产出数学论证，人类研究人员则借助同一模型协助整理论文草稿，最后再将论证转换为 Lean 程式码进行形式化验证。

该公司特别强调，十项突破的数学论证全数由 AI 系统生成，人类研究者的角色仅限于协助撰写手稿、进行形式验证，并对最终结果的正确性负责。

这并非 OpenAI 首度在数学领域交出成绩单。今年五月，该公司在测试一款尚未发布的模型时，已让 AI 成功推翻了「单位距离问题」，随后学术界也陆续发表相关后续研究。

随着 AI 系统在科学研究中扮演的角色日益吃重，成果归属争议也随之浮上台面。对此 OpenAI 表示，理解并尊重「莱顿人工智慧与数学宣言」（Leiden Manifesto on AI and mathematics）连署学者的疑虑，同时也强调，若将完全由 AI 生成的证明归功于人类，不仅扭曲了 AI 系统的实际贡献，也模糊了人类智识工作本身的界线。

值得一提的是，OpenAI 近期同步推出面向学术界的 ChatGPT 专案，向十万名科学家与数学家开放免费使用其最强模型，并持续以开放性数学难题作为模型开发过程中的测试指标。