推荐理由：通用推理模型攻克数学难题，证明了 AI 在数学推理上的泛化能力，数学研究者和 AI 开发者值得关注这一突破。