OpenAI再次祭出重磅大招！奥特曼演示的内部模型Astra一口气攻克了十个数学难题，这份长达249页的PDF在数学界引发了巨大震动。数学家Alex Kontorovich仅用两个感叹号表达震惊，称这是AGI的分水岭时刻。Claude模型直言，按菲尔茨奖标准，任何一项都足以获奖。更令人咋舌的是，破解这十大难题仅花费了2000美元。
五月份OpenAI曾公布AI发现的埃尔德什单位距离猜想反例，当时以为是GPT-4，现确认是Astra。Astra在群论、算子代数、极值组合学等领域均有建树。加州理工博士称其为菲尔茨奖级别。Epoch AI评分显示，大部分结果获“重大进步”，第三项具有“突破”潜质，否定了“所有可数群都是sofic”的猜想。曼彻斯特大学Thomas Bloom认为这比此前证伪单位距离猜想更重要。
总成本约2000美元，平均每题200美元，相当于一名研究生一个周末的津贴。这竟是评估未发布模型时的“副产品”。Noam Brown表示，测试时计算潜力巨大，百万美元级难题也可能被攻克。这让数学界感到既感慨又伤感：数学还会是人类心智的荣耀吗？
249页论文之所以震撼，在于AI在几何、代数、群论等领域完成降维打击。主要介绍三大突破：
斩断世纪执念：找出首个“非Sofic群”。1999年Gromov提出问题，27年无人破解。Astra构造出无限有限呈现的非sofic群，利用Leavitt代数和汤普森群V证明了其不可逼近性。数学家Elliot Glazer称其为最重要的AI辅助数学成果。
击碎46年冰封的结界：高维球体堆积问题。8维和24维由菲尔兹奖得主Viazovska解决，但无限维难题困扰46年。Astra给出了全新证明，突破了1978年的边界。
超越菲尔茨奖得主直觉，推翻Connes刚性猜想。菲尔兹奖得主Connes提出猜想，Astra不仅证伪，还构造出互不同构但代数结构相同的无限群家族，直接挑战了“没有两片雪花结构相同”的直觉。
“AI教父”辛顿预言AI将在10-20年内创造人类无法理解的新数学，但OpenAI的结果让时间表显得保守。Astra展示了真正的推理能力和数学直觉。AI比人类最好的数学家更聪明，数学界的“破壁者”已然降临。