OpenAI新模型Astra连破10道数学世纪难题，推理成本仅2000美元

2026年8月1日，OpenAI扔出重磅炸弹：其下一代主力模型Astra的内部测试版本在数学和理论计算机科学领域取得十项重大突破，覆盖高维几何、编码理论、群论、算子代数、量子复杂度、格密码学和极值组合学等多个方向。这批成果中的每一道题都是开放超过十年、核心进展长期停滞的硬骨头。

核心成果亮点：

• 非sofic群存在性构造：解决1999年阿贝尔奖得主Mikhail Gromov提出的sofic群猜想，27年间无数顶尖数学家折戟于此
• 推翻Connes刚性猜想：构造出无穷多个具有性质(T)但共享相同冯·诺依曼代数的非同构群，证伪1982年菲尔兹奖得主Alain Connes的猜想
• 突破高维球体堆积问题：首次推进卡了46年的Kabatiansky-Levenshtein界，精确算出Cohn-Elkies线性规划的指数衰减率
• 解决三道埃尔德什经典问题：包括多色拉姆齐数第183号问题及两道极值图论猜想
• 其他成果：算术电路复杂性n⁴/log n量级新下界、量子并行重复定理证明、最近向量问题多项式近似困难性

OpenAI公开了249页手稿合集，所有证明均通过Lean 4形式化验证，sorry计数为零，表明推导过程无任何步骤遗漏。相关代码已在GitHub以Apache 2.0许可证开源。按GPT-5.6 Sol API费率折算，解决全部10个问题的Token成本约为2000美元，平均每道题仅200美元。

学术界震动与争议并存：

• 菲尔兹奖得主Timothy Gowers表示："如果这些证明通过同行评议，我们需要重新思考做数学意味着什么"
• 罗格斯大学教授Alex Kontorovich连用两个惊叹号评价
• Epoch AI确认采取措施确保题目未出现在训练数据中，Astra展现的是真正的数学创造力而非检索能力
• 认知科学家Gary Marcus提出质疑，认为数学专长不能直接等同于通用智能跃迁，且成果尚未经过传统同行评议

值得注意的是，OpenAI CEO Sam Altman近期在华盛顿向政策制定者专门演示了Astra模型。该模型有望成为首批按照美国政府新版AI框架，在发布前提交联邦安全审查的前沿产品。OpenAI同期宣布向10万名科研人员免费开放最先进模型使用权，加速AI在科学研究领域的应用落地。