AI 数学突破的解题方式之争

Latent Space 梳理了 OpenAI 今年在 Erdős 单位距离猜想、Cycle Double Cover、Navier-Stokes 等问题上的进展，以及 Anthropic 在费马大定理形式化和黎曼猜想上的工作，并提出用提示序列长度 k 和分支因子 b 预测模型能解哪类问题。 该文把“AI 为何突然擅长数学证明”归结为模型解题方式的变化，但这一解释来自作者提出的分析框架，并非已获验证的结论。

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

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