推荐理由：通用推理模型攻克数学难题，证明 AI 不再需要特化就能做高难度推理——做 AI 研究和数学建模的团队值得关注，这可能是通用智能落地的信号。