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

作者梳理 OpenAI 与 Anthropic 今年在数学开放问题上的多项成果，提出用提示序列长度 k 与分支因子 b 解释模型为何擅长数学证明。模型以深度优先方式把每条可行路径推到完成，再用验证器剪枝，失败尝试会作为负向提示进入下一轮。作者认为人类仍擅长压缩分支，在 k 和 b 都很大的问题上保持优势。