AI模型近期接连解决数学开放问题

Latent Space 文章称，近几个月 AI 模型接连解决多个长期未解数学问题，包括 Erdős 单位距离猜想的反例、Cycle Double Cover 证明和 Navier-Stokes 证明。 文章用提示序列、分支因子和验证器框架解释，称 LLM 的深度优先搜索使失败成本变低，在分支少或提示步数少的问题上更有优势。

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

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