AI在数学证明上取得多项突破

2026年10月23日，Latent Space 刊文梳理 OpenAI 与 Anthropic 今年在数学开放问题上的多项结果。文章称，两家机构取得的成果包括 Erdős 单位距离猜想的反例、Cycle Double Cover 与 Navier-Stokes 的证明，以及 Fermat 大定理形式化和 Riemann 假设相关界。文章从提示序列与分支因子角度分析模型解题方式，试图解释 AI 为何突然擅长数学。目前进展停留在综述梳理阶段，报道未披露各项结果的具体时间、作者或验证情况。

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

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