AI 数学突破的机制与边界

2026年10月23日，Latent Space 刊文讨论 AI 为何越来越擅长数学。作者认为，大语言模型在数学上的突破源于其搜索方式与人类不同：模型以深度优先方式把每条可行路径走完，再用自动验证器筛掉错误分支，因此提示质量的门槛大幅降低。文中以 OpenAI 对 Erdős 单位距离猜想的反例、Navier-Stokes 证明，以及 Anthropic 对费马大定理、黎曼猜想的工作为例，指出模型擅长的是概念跳跃已完成、剩余工作繁琐的问题；而分支因子和所需洞见数量都大的问题，仍对人类更有利。

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

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