Latent Space· Ankit Maloo·· 3 小时前精选AI 评分80
AI 为何突然擅长数学证明：从 Erdős 反例到 Navier-Stokes 的搜索模式分析
AI Is Getting Good at Math. Here’s Why.
AI 导读
作者梳理 OpenAI 从 5 月找到 Erdős 单位距离猜想反例、到 9 月给出 Navier-Stokes 证明，以及 Anthropic 推进费马大定理形式化与黎曼猜想界的工作，试图解释模型为何突然擅长数学。
推荐理由
文章用提示序列长度和分支因子解释模型为何擅长数学证明，并指出人类直觉在深搜索树上仍有优势。
来源：Latent Space · latent.space