OpenAI确认下一代模型Astra存在，以2000美元算力成本破解十项数学未解难题，正向监管层展示

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专项计划，为十万名科学家和数学家提供免费访问最强模型的权限，并在模型开发过程中持续以开放性研究问题作为测试基准。