AI 越来越擅长数学的原因

作者分析 AI 模型近期解决开放数学问题的方式，并提出模型的优势在于以计算和 token 换取更快的路径探索，再由验证器筛选完成的论证。文章用提示序列长度、搜索分支数量和分支间的工作量解释模型何时更可能奏效，也指出人类擅长缩小搜索范围，模型擅长快速探索路径，两者可以互补。