OpenAI确认推出Astra模型家族：2000美元算力成本攻克十项数学难题
OpenAI正式确认Astra模型存在
作者：潘凌飞；来源：华尔街见闻。OpenAI正筹备推出名为“Astra”的全新AI模型家族，该模型具备驱动多个智能体长期协同运作以解决高难度任务的核心能力。此举被视为公司在通用人工智能（AGI）道路上迈出的关键一步，同时也将成为特朗普政府即将实施的新版AI监管框架下的首批测试案例。
Sam Altman亲赴华盛顿演示Astra能力
据科技媒体The Information援引三位知情人士消息，OpenAI首席执行官Sam Altman本周亲自前往华盛顿特区，向政策制定者与监管机构现场演示了Astra模型。演示重点展示了该模型如何协调多个AI智能体，长时间处理复杂任务，应用场景涵盖项目管理乃至高等数学难题求解。
2000美元破解十年积压数学难题
OpenAI同步发布了一份技术报告（报告下载地址点这里），详细说明其最新AI系统成功解决了十道此前从未被攻克的数学难题。这些问题横跨高维几何、编码理论、群论、量子复杂性及极值组合学等多个前沿领域，每道题学术积压时间均超过十年，而全部求解的算力成本仅约2000美元。
清华姚班学者证实Astra主导证明
清华姚班毕业生、今年1月加入OpenAI的研究员Lijie Chen在其社交媒体上确认，这十项数学证明均由Astra旗舰模型完成。Astra被定位为一个独立的模型家族，与OpenAI现有的Sol、Terra和Luna并列。目前尚不清楚其正式发布时间，也未确定是否归入GPT-5系列（如GPT-5.7）或直接命名为GPT-6。
受制于新政：Astra成首批监管对象
尽管Astra已进入测试阶段，但其正式发布节奏将受外部政策影响。据知情人士透露，该模型预计将成为首批须经特朗普政府新版AI监管框架审查的产品。该框架要求AI公司在公开发布前向联邦政府提交备案，最终合规期限定于本周末。
十项突破涵盖埃尔德什经典问题
OpenAI报告指出，Astra在数学与理论计算机科学领域取得十项重大突破，包括：高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等。其中多项成果直接回应了数学家保罗·埃尔德什提出的经典公开问题。
人机协作流程与成果归属争议
在研究流程中，Astra负责生成数学论证，人类研究员借助同一模型协助整理论文草稿，并将论证转化为Lean代码进行形式化验证。OpenAI强调，所有数学论证均由AI系统自主生成，人类角色限于手稿准备、形式化验证及对结果正确性负责。随着AI在科研中作用日益核心，成果归属问题引发学界关注。OpenAI表示尊重《莱顿人工智能与数学宣言》签署者的担忧，反对将完全由AI生成的证明标注为人类作品，以免模糊人类智识工作的边界。
推动开放科研：十万科学家获免费访问
值得注意的是，OpenAI近期还推出了面向学术界的ChatGPT专项计划，为全球十万名科学家与数学家提供免费访问其最强模型的权限，并持续将开放性研究问题作为模型开发的测试基准。
