AI 为何突然擅长数学：从提示序列与分支因子看模型解题优势

作者 Ankit Maloo 分析 OpenAI、Anthropic 近期在数学开放问题上的进展，提出用最短提示序列长度 k 与分支因子 b 判断问题对 LLM 是否可解。他认为模型以深度优先方式把每条可行路径走完，配合自动验证器剪枝，把人类需要数月判断的尝试压缩到几分钟，因此擅长概念跳跃已完成、剩余工作繁重的证明。人类优势仍在搜索树深且分支多、需要直觉剪枝的问题上。