標籤: 數學技能反例驅動推理如何改變大型語言模型