Latent Space· Ankit Maloo·· 4 小时前精选
AI 为什么突然擅长数学了
AI Is Getting Good at Math. Here’s Why.
AI 导读
作者用提示序列长度 k 与分支因子 b 两个维度，解释 OpenAI 与 Anthropic 近期证明多个数学开放问题的原因：模型靠并行搜索加深验证器剪枝，能低成本走完人类因士气与时间不敢走的路径。文章以 Erdős 单位距离猜想反例、CDC 问题与 Navier-Stokes 证明为例，指出模型擅长概念跳跃已完成、剩余工作繁琐的问题，人类优势仍在搜索树深且分支多的方向。
推荐理由
文章用提示序列长度和分支因子解释模型擅长哪类数学问题，并给出人类与模型在搜索方式上的互补关系。
来源：Latent Space · latent.space