一、背景与挑战：数学推理的AI“最后一公里” 数学推理是人工智能迈向通用智能的关键瓶颈。传统大模型（如GPT、DeepSeek）虽具备海量知识，但在复杂数学问题（如竞赛级代数、几何证明）中常因逻辑链断裂或符号操作失……
