OpenAI日前披露的未公开模型Astra一口气解决了数学界十个长期悬而未决的开放问题，再次刷新了人们对AI在高级推理领域潜力的认知。长期以来，数学一直是大型语言模型的软肋，人们习惯嘲笑AI连基础运算都频繁出错。然而，此次Astra的表现表明，AI在数学上的能力已从算数跃迁至定理证明与前沿猜想破解，其超人性表现堪比经典计算机在数值计算上的绝对碾压。这批问题均为定义清晰、形式化程度高且答案可自动验证的难题，这一特性值得玩味——AI研发工作中大量环节同样具备可验证性。一旦某个实验室在真正的AI研发自改进闭环上取得突破，将迅速积累压倒性的战略优势。这一事件不仅是数学界的震动，更可能成为AGI竞赛中的关键转折信号。