OpenAI新模型Astra攻克10项菲尔兹奖级数学难题
0xBroomberg
OpenAI发布249页论文，披露其未发布模型Astra在10项长期悬而未决的数学难题上取得重大突破，总计算成本不足2000美元——这意味着AI正以研究生周末津贴的价格，撬动数十年未解的纯数学前沿。
这十项突破到底有多硬？
Astra攻克的难题横跨高维几何、编码理论、群论（研究对称性的数学分支）、算子代数、量子复杂度等至少七个子领域。
据Epoch AI旗下OpenMath评分，大部分成果被评为「重大进步」，其中一项直接评为「突破」，有望成为全年数学领域最佳成果之一。
这意味着→ 这不是在一个方向上深挖，而是同时在多个互不相关的数学前沿推进——覆盖面本身就是信号。
27年没人解的题，AI怎么解的？
十项成果中最受关注的：Astra构造出了首个非sofic群，否定了阿贝尔奖得主格罗莫夫1999年提出的猜想——此后27年间顶尖数学家均未能构造反例。
用大白话说＝ 格罗莫夫当年猜「所有可数群都是sofic（一种可用有限对称结构逼近的群）」，全世界试了27年找不到反例；Astra直接造了一个出来。
Astra的方法路径：从数学代码库提取二元利维特代数的单位群，结合孔-托姆扩展图理论与汤普森群V，给出完整证明，并通过Lean 4（一种形式化证明语言）完成机器可独立检验的验证。
加州理工数学博士将此定性为「菲尔兹奖级别的成果」；数学家格拉泽称其为「迄今最重要的AI辅助数学成果」。
46年纹丝不动的边界，被推了多远？
高维球体堆积问题（在高维空间里把球尽可能密地摆放）：自1978年两位苏联数学家给出极限后，整整46年全球无人推进哪怕小数点后几位。
Astra不仅给出全新证明，还精确算出了科恩-埃尔基斯线性规划的指数衰减率，首次突破1978年边界。
这意味着→ 不是改良旧方法挤出微小进展，而是找到了一条全新路径打破长期僵局。
菲尔兹奖得主的猜想也被推翻了？
1982年菲尔兹奖得主孔纳提出「刚性猜想」：认为某类特殊群生成的冯·诺依曼代数（一种描述量子力学算子的数学结构）如同指纹般独一无二。
Astra不仅证明该猜想为假，还直接构造出一个可数无限的群家族——这些群彼此互不同构，但生成的冯·诺依曼代数完全相同。
用大白话说＝ 孔纳以为每个群的「指纹」不可能重复，Astra造出了无数个「指纹一模一样但本人完全不同」的群，以极致方式完成了证伪。
200美元一道题，这个成本意味着什么？
生成十项证明的总成本按Sol API价格计算不足2000美元，平均每项约200美元——相当于一名研究生一个周末的津贴。
这意味着→ 过去需要顶尖数学家耗费数年甚至数十年的问题，现在的边际成本降到了一顿商务晚餐的价格。
OpenAI研究者诺姆·布朗表示，目前尚未攻克黎曼猜想等千禧年大奖难题，但测试算力远未触顶，百万美元级别的世界性难题「也存在被攻克的可能性」。
这件事最该被注意的是什么？
这十项成果是OpenAI在评估Astra时意外获得的「副产品」，并非专项攻关——模型本身尚未正式发布。
这反映出 当前前沿模型的数学推理能力可能已经远超外界认知，只是尚未被系统性地释放。
「AI教父」辛顿此前预言AI在未来十到二十年内可能创造出人类无法理解的新数学——这份249页论文，或许正是这一预言的早期注脚。
Content is for reference only, not financial advice.