新智元报道编辑，乔杨耳朵，新智元导读，LLM数学水平不及小学生怎么办，CMU清华团队提出了Lean，STaR训练框架，在语言模型进行推理的每一步中都植入CoT，提升了模型的定理证明能力，成为miniF...