AIGC动态欢迎阅读原标题：CMU清华教LLM练成数学高手，LeanSTaR训练模型边思考边证明，登顶新SOTA关键字：模型,定理,数据,思维,策略文章来源：新智元内容字数：0字内容摘要：新智元……