AI 数学证明突破：并行搜索与验证器剪枝

Latent Space 作者梳理 OpenAI 与 Anthropic 今年在数学开放问题上的多项成果，提出用提示序列长度 k 与分支因子 b 解释模型为何能解某些难题：模型以深度优先方式并行尝试大量路径，配合自动验证器剪枝，并把失败尝试写成负面提示。作者称，人类则靠直觉缩小分支，在需要大量洞察的问题上仍有优势。 作者还以单位距离猜想反例为例，称数学家 Tsimerman 曾接近该方向，却因缺乏进展感而停下。

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

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