引言：数学推理的AI新战场 数学推理能力是衡量人工智能（AI）系统智能水平的重要指标。近年来，以DeepSeek为代表的模型通过大规模预训练和R1蒸馏技术（一种基于知识蒸馏的模型优化方法）在数学推理任务中取得显著……
