德州农工大学研究诊断 LLM 数学短板：发现能力是最大瓶颈，可定向修复

德州农工大学团队提出「数学原语」概念与新基准，从发现、生成、消化、执行四个维度探测 LLM 的结构性数学理解。研究诊断出发现能力是数学推理的主导瓶颈，解题准确率掩盖了不同的能力画像。团队据此提出原语特权的自蒸馏框架，选择性迁移原语引导的推理给学生模型，在多个模型规模与高难基准上持续优于基线，发现受限的失败尤其容易被修复。