OpenAI Astra用2000美元攻克10道数学难题，让数学家集体沉默。但同行评议和验证尚未完成，现在“封神”为时过早。不过，数学研究的经济学已被彻底改变，提问比证明更珍贵。

OpenAI下一代模型Astra以不到2000美元的成本，一口气解决了10个菲尔兹奖级别的数学难题，包括终结27年的非Sofic群猜想、突破46年未动的高维球体堆积上限、推翻菲尔兹奖得主Connes的刚性猜想。这一成果标志着AI在数学核心领域的自主突破，数学家的“破壁者”已经到来。