AI 为何越来越擅长数学？从搜索路径、验证与智能体协作看原因

AI 数学能力的进步被 Ankit Maloo 归因于并行探索、自动验证和智能体编排，它们降低了将不确定思路推进到完整证明的成本。他以概念跳跃次数、跳跃之间的工作量和搜索分支数分析问题难度，提出模型更适合概念突破较少、但后续计算复杂漫长的任务。人类专家可用判断力缩小搜索范围，模型则加快逐条探索；文章强调，公开失败路径而不只是最终证明，才更有助于增进数学理解。