AI 为何突然擅长解数学题：深度优先搜索与验证器机制解析

文章分析了近期大模型接连攻克数学难题背后的机制差异，指出人类研究者受限于时间与精力采用广度优先搜索，而大语言模型则借助算力和测试时计算进行深度优先探索。通过拟定提示词的起草器、并行求解智能体以及自动验证器的协同框架，系统能快速穷举各种假设并将失败路径作为负向提示词反馈。作者认为模型擅长概念跳跃较少但中间计算极其繁琐的问题，人机协作的关键在于人类负责收敛分支而模型负责耗时验证。