AI 为何越来越擅长数学：大模型解题机制与搜索边界解析

大模型近期在数学猜想与定理证明中频现突破，核心在于其采用深度优先搜索结合自动化验证器，能够用算力代替时间快速验证不确定路径。人类数学家依赖直觉进行广度探索并受制于试错精力，而模型体系由起草器将失败尝试沉淀为负向提示词，持续引导求解器推进分支。这种机制使模型在概念跳跃少但推导计算极其繁重的深层问题上展现出独特优势。