AI 为何突然擅长数学证明：从提示序列与分支因子看模型与人类的搜索差异

作者分析 OpenAI 与 Anthropic 今年在数学开放问题上的多项成果，提出用提示序列长度 k 与分支因子 b 判断问题对 LLM 是否可解。模型以深度优先方式把每条可行路径走完，配合验证器剪枝，因此擅长概念跳跃已完成、剩余工作繁重的证明；人类则擅长缩小分支。