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