本发明公开了一种用于形式化定理证明的大模型思维链评估方法及系统，本方法包括：构建原始数据集并训练大模型，得到训练完毕的大模型，作为基准模型；基于原始数据集，构建第一数据集、第二数据集，生成基准中间数据、第一中间数据、第二中间数据，确定基准模型的第一性能；基于所述基准注意力数据与第三注意力数据的对比结果，确定基准模型的第二性能；基于基准思维链提示数据与第四基准思维链提示数据的对比结果，确定基准模型的第三性能；基于所述第一性能、第二性能、第三性能，对所述原始数据集进行修正，得到修正后的训练集及训练方式，由修正后的训练集对所述训练完毕的大模型再次训练，得到新的训练完毕的大模型。