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

作者提出用提示序列长度 k 与分支因子 b 解释大模型为何近期接连产出数学证明，认为模型以深度优先方式穷举每条可行路径，再用自动验证器剪枝，把人类需要数月试错的成本压缩到几分钟。