LLM 为何突然擅长数学：搜索与验证器

Latent Space 的一篇文章提出，OpenAI 与 Anthropic 的模型近期之所以能证明多个数学开放问题，是因为模型能靠并行搜索加深验证器剪枝，以较低成本走完人类因士气与时间不愿走的路径。 文章用提示序列长度 k 与分支因子 b 两个维度解释这一能力：模型擅长概念跳跃已完成、剩余工作繁琐的问题，并以 Erdős 单位距离猜想反例、CDC 问题和 Navier-Stokes 证明为例；人类优势仍在搜索树深且分支多的方向。

AI 根据报道生成 · 44 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。