OpenAI披露下一代模型Astra及其数学突破

OpenAI于2026年8月1日正式确认其下一代主要模型Astra的存在，并公布了该模型在数学和理论计算机科学领域实现的十项全新突破。这些问题被描述为在过去至少十年甚至更长时间里，人类学者未能解决的长期未解之谜。此次披露的成果涵盖了高维几何、编码理论、群论、量子复杂性以及极值组合学等多个前沿领域。

核心突破内容与验证流程

在公布的十项突破中，具体成果包括：

  • 高维几何与编码：找到了下至Cohn-Elkies阈值的球体堆积密度全新上限；提升了二进制码最大尺寸的界限及高维球面码的相关成果。
  • 群论与代数：证明了非纯索菲群（non-sofic groups）的存在，解决了群论中的核心公开问题；推翻了康涅斯刚性猜想，证明某些群不能由其冯诺依曼代数唯一确定。
  • 复杂性与密码学：给出了使用算术电路和公式计算积和式的新下界；针对一般双人量子游戏提出了指数级平行重复定理；证明了与后量子密码学相关的最近向量问题的多项式因子近似难度。
  • 其他领域：确定了所有维度上质心为唯一内部格点的凸体的最大可能体积（埃尔哈特体积猜想）；解决了保罗埃尔德什的第183号问题（多色三角形拉姆齐数超指数下界）以及第146和180号问题（极值图论猜想）。

在研究流程上，Astra模型负责生成数学论证，人类研究员使用同一模型辅助整理论文草稿。随后，模型将论证转化为Lean代码进行形式化验证，以确保结果严谨。

算力成本与相关评价

成本是此次公告的关注点之一。OpenAI表示，按Sol API费率计算，找出这些解所需的token成本约为2000美元。Noam Brown在X平台上称成本低于2000美元，并承认团队尝试过其他重大问题但未成功，且已解出的问题尚未触及千禧年大奖问题。

学术界对此反应强烈。数学家Alex Kontorovich对此表示震惊；Claude Fable 5认为其中任何一项都足以符合菲尔兹奖标准；数学家Elliot Glazer称其为“迄今最重要的AI辅助数学成果”。此外，Epoch AI的OpenMath评分标准显示，大部分结果被评为“重大进步”（Major Advance），其中关于非sofic群的第三项结果被评为“突破”。

背景与后续安排

这是OpenAI首次在官方渠道点名Astra。此前在2026年5月，OpenAI曾公告一个通用推理模型推翻了离散几何中的Erdős单位距离猜想，现确认该模型即为Astra。OpenAI已将Lean证书、证明及完整思考过程同步在GitHub等平台开源，供公众查阅。