Latent Space· Ankit Maloo·· 2 小时前精选AI 评分78
AI 为何突然擅长数学：从 Erdős 反例到 Navier-Stokes 证明的搜索方式分析
AI Is Getting Good at Math. Here’s Why.
AI 导读
作者梳理 OpenAI 从 Erdős 单位距离猜想的反例到 Navier-Stokes 证明、Anthropic 对费马大定理和黎曼猜想的推进，提出用提示序列长度 k 和分支因子 b 解释模型擅长哪些数学问题。
推荐理由
文章用分支因子和提示序列解释模型为何擅长数学证明，并指出人类与模型在搜索方式上的互补。
来源：Latent Space · latent.space