2000美元撬动10个菲尔兹奖级难题，OpenAI Astra把数学圈整不会了

温故智新AIGC实验室

TL;DR:

OpenAI的下一代模型Astra，只花2000美元就干翻了10个顶级数学难题，每一个单独拎出来都够拿菲尔兹奖。数学家在颤抖，人类在反思：我们的数学天赋还香吗？但先别急，这十个是AI“精选”的结果，最难的黎曼猜想还活着。

各位，数学界刚刚经历了一场十级地震——不是震中在硅谷的那种，而是OpenAI的下一代模型Astra丢出了一份249页的PDF，直接掀翻了10个横跨高维几何、群论、编码理论、量子复杂度的世纪难题。这些题目每一个都是人类顶尖数学家啃了至少十年甚至半个世纪都没啃动的硬骨头12。

更让打工人破防的是代价：总成本不到2000美元。按Sol API价格算，平均一个题200刀，相当于一个研究生周末的津贴——研究生还在愁论文被拒，AI已经一口气发了十篇顶刊级别的工作3。

注意，这还不是专门搞科研的定制系统，而是OpenAI在评估一个未发布模型时“意外收获的副产品”。就像你让狗去拿拖鞋，结果它顺手解了个千禧年难题。

最炸裂的那个：终结27年的“非Sofic群”悬案

1999年，俄罗斯数学大佬、阿贝尔奖得主Mikhail Gromov提出了sofic群的概念。简单说，就是一个无限复杂的群，能不能用有限的置换来完美模拟？如果可以，它就是sofic的。核心问题是：所有可数群都是sofic的吗？

这问题不是技术宅的冷门狂欢，它牵动着sofic熵理论、动力系统、算子代数等一整片数学版图。如果答案是“否”，整个框架都得重写。

27年，无数顶级数学家尝试构造反例，全部碰壁。

然后Astra来了。它直接从数学的代码库里拎出一个现成的结构——二元Leavitt代数的单位群，然后把Kun-Thom扩展图理论和汤普森群V糅合在一起，硬生生逼出一个逻辑矛盾，证明这个群绝对无法被有限置换逼近12。

通俗点说：人类还在到处找“无法被像素化的物质”，AI直接指着一个高维魔方说：“别找了，就是这个，我证给你看。”

更狠的是，它还用Lean 4做了形式化验证，每一个推理步骤都经过机器核验，不存在“感觉对”的蒙混空间。数学家Elliot Glazer第一时间确认消息属实，并称这是“迄今最重要的AI辅助数学成果”12。

击碎46年冰封：高维球体堆积的新上限

想象一下怎么在一个纸箱里塞最多橘子——三维版人类花了几个世纪才搞明白开普勒猜想。而高维版，2022年数学家Viazovska因为解出8维和24维的球体堆积拿了菲尔兹奖。

但维度走向无穷大时，密度上限的问题自1978年两位苏联数学家给出一个极限后，整整46年没动过，连小数点后几位都优化不了。

Astra像开着直升机登顶，直接精确算出了Cohn-Elkies线性规划的指数衰减率，首次突破了1978年的边界13。人类在这座高山前爬了半个世纪，AI直接上去把路铺平了。

超越菲尔兹奖得主：推翻了Connes刚性猜想

1982年的菲尔兹奖得主Alain Connes提出“刚性猜想”：某些特殊群生成的冯·诺依曼代数是独一无二的指纹。几十年来数学家们一直在迷宫里打转。

结果Astra不仅走出了迷宫，还把迷宫给拆了——它没有只找一个反例，而是构造出了一个可数无限的群家族，这些群长得全都不同，但生成的冯·诺依曼代数完全一样12。

Connes曾说世上没有两片雪花的内部原子结构相同，AI不仅找到了两片，直接下了一场暴风雪，每片雪花外观各异，但核心代数结构全等。

不只是三个，是十个

除了上述三个，Astra还搞定了：

  • 二进制与球面码的界限优化
  • 算术电路复杂度的下界突破（n⁴/log n量级）
  • 量子平行重复定理（将经典复杂性原则扩展到量子领域）
  • 格密码学中的最近向量问题
  • 埃尔哈特体积猜想（确定质心是唯一内格点的凸体最大体积）
  • 多色拉姆齐数的超指数下界（解决埃尔德什第183号问题）
  • 极值图论中的紧致性和退化性猜想（搞定埃尔德什第146和180号问题）3

每一个单拿出来，都够开一场国际数学新闻发布会。

所以数学家要失业了？先别慌

“AI教父”辛顿曾预言未来10到20年AI能创造人类无法理解的新数学。但Astra的表现让这个时间表显得太保守了。

不过OpenAI推理模型核心缔造者Noam Brown也放出重话：这些是精选结果，像黎曼猜想这样的千禧年大奖难题还没啃下。但测试时计算远未封顶，“连百万美元级别的世界性难题也可能被啃下”1。

这既让人兴奋又让人伤感：数学，这个人类心智的荣耀，正在被自己创造的工具超越。

但换个角度看，AI不是来替代数学家的，它是来当“破壁者”的。菲尔兹奖得主Tim Gowers在配套论文中评价这是“人工智能数学领域的一座里程碑”4。AI正在探索代数数论与离散几何之间意想不到的联系，为人类搭建从未有过的“桥梁”5。

分水岭已至

249页PDF，10个突破，2000美元成本，Lean 4形式化验证——Astra的表现正在重新定义数学研究的边界。无论是对数学界还是对AGI的征程，这都是一次足以载入史册的飞跃13。

所以，各位科研狗，开始颤抖吧——或者，开始拥抱新工具。毕竟，AI是你周末200美元就能雇来的高智商搭档。

引用

  1. OpenAI下一代AI攻克10项菲尔兹奖级难题 https://tech.ifeng.com/c/8vFrkUmsOBf · 凤凰科技 · 2026/8/2 · 检索日期2026/8/2 ↩︎ ↩︎ ↩︎ ↩︎ ↩︎ ↩︎ ↩︎

  2. OpenAI下一代AI攻克10项菲尔兹奖级难题- AI 人工智能 https://www.cnbeta.com.tw/articles/tech/1571310.htm · cnBeta · 2026/8/2 · 检索日期2026/8/2 ↩︎ ↩︎ ↩︎ ↩︎

  3. OpenAI确认下一代模型Astra存在：仅花2000美金狂解10大数学前沿难题 https://view.inews.qq.com/a/20260801A0AD9600 · 腾讯新闻 · 2026/8/2 · 检索日期2026/8/2 ↩︎ ↩︎ ↩︎ ↩︎

  4. OpenAI 模型推翻了离散几何领域的核心猜想 https://openai.com/index/model-disproves-discrete-geometry-conjecture/ · OpenAI · 2026/8/2 · 检索日期2026/8/2 ↩︎

  5. 接连破解经典难题 AI正深度融入数学研究核心环节-新华网 http://www.news.cn/liangzi/20260612/1fc0c801f9584988ac39fbb933c7cd92/c.html · 新华网 · 2026/6/12 · 检索日期2026/8/2 ↩︎