Latent Space· Ankit Maloo·· 2 小时前精选AI 评分70
AI 为何突然擅长数学证明：从提示序列与分支因子看模型解题方式
AI Is Getting Good at Math. Here’s Why.
AI 导读
作者梳理 OpenAI 今年在 Erdős 单位距离猜想、Cycle Double Cover、Navier-Stokes 等问题上的进展，以及 Anthropic 在费马大定理形式化和黎曼猜想上的工作，提出用提示序列长度 k 和分支因子 b 预测模型能解哪类问题。
推荐理由
文章用提示序列长度和分支因子解释模型为何擅长数学证明，并指出人类直觉仍占优的问题类型。
来源：Latent Space · latent.space