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

2026年，OpenAI与Anthropic在数学开放问题上取得多项成果，引发对AI为何突然擅长数学证明的讨论。10月23日，Latent Space发表分析文章，提出用提示序列长度k与分支因子b判断问题对LLM是否可解：模型以深度优先方式把每条可行路径走完，配合验证器剪枝，因此擅长概念跳跃已完成、剩余工作繁重的证明；人类则擅长缩小分支。文章称，这一搜索方式差异解释了模型与人类在数学证明上的不同表现。目前相关成果的具体问题与证明细节尚未在报道中展开。

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

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