一、通用LLM的「数学困境」：为何需要专项突破？ 当前主流的通用大语言模型（LLM）在文本生成、常识推理等任务中表现优异，但在数学领域却面临显著瓶颈： 符号计算能力不足：通用LLM依赖统计模式匹配，难以处理数……
