AI 数学证明突破的机制解释

Latent Space 梳理 OpenAI 与 Anthropic 今年在数学开放问题上的进展，用提示序列长度 k 和分支因子 b 解释模型为何能解题：模型以深度优先方式穷举路径，配合自动验证器剪枝，并把失败尝试写成负面提示；人类则靠直觉压缩分支。 作者据此判断，概念跳跃已完成、剩余工作繁琐的证明最容易被模型攻克，而高 k、高 b 的问题仍是人类优势。这是作者对解题方式的分析判断，并非对模型能力的实测结论。

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

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