OpenAI正准备推出一个名为Astra的全新模型家族，其核心能力在于驱动多个AI智能体长期协同运作以解决高难度问题。这一进展标志着该公司在通用人工智能路线上迈出实质性一步，同时也将成为特朗普政府新版AI监管框架落地的首批试验案例。
科技媒体The Information透露，OpenAI首席执行官Sam Altman本周亲赴华盛顿特区，向政策制定者和监管机构演示了Astra模型。OpenAI重点展示了该模型让多个智能体协同工作、长时间处理复杂任务的能力，应用场景涵盖项目管理乃至高阶数学难题求解。
OpenAI发布了一份报告，详述其最先进AI如何成功解决了十道此前从未被攻克的数学难题。这批问题横跨高维几何、编码理论、群论、量子复杂性及极值组合学等多个前沿领域，每道题的学术积压时间均超过十年，而完成全部求解的算力成本仅约2000美元。
清华姚班毕业生Lijie Chen在其社交媒体上发言，证实这10个证明是由其旗舰模型Astra所做。
知情人士介绍，Astra将作为一个独立的模型类别存在，与OpenAI现有的Sol、Terra和Luna并列。目前尚不清楚OpenAI计划何时正式发布Astra，公司内部也尚未决定该模型将被标记为GPT-6，还是GPT-5系列中的一个子版本（如GPT-5.7）。
尽管相关模型已进入测试阶段，其正式发布节奏将受到外部因素制约。一位知情人士表示，Astra系列模型预计将成为首批须经特朗普政府新版AI框架审查的产品——该框架要求AI公司在向公众发布模型前，须事先向联邦政府提交备案。特朗普政府为该框架设定的最终期限为本周末。
OpenAI公布的报告显示，Astra模型在数学和理论计算机科学领域取得了十项重大突破，包括高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等。其中多项成果直接解决了数学家保罗·埃尔德什留下的经典公开问题。
