AI 数学证明能力提升的机制讨论

AI 在数学证明上表现越来越强，但这一判断目前主要来自技术评论而非可核验的成果。Latent Space 的一篇文章梳理了 OpenAI 从 Erdős 单位距离猜想的反例到 Navier-Stokes 证明、Anthropic 在 Fermat 与 Riemann 上的工作，并提出用提示序列长度 k 与分支因子 b 来解释模型为何擅长数学。该解释是文章作者提出的分析框架，报道未给出可验证的效果数据。

AI 根据报道生成 · 2 小时前更新

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