AI 数学证明突破的机制分析

Latent Space 作者分析 OpenAI 与 Anthropic 今年在数学开放问题上的多项成果，提出用提示序列长度 k 与分支因子 b 判断哪些问题对 LLM 可解。他认为人类解题是广度优先、靠直觉剪枝，模型则是深度优先、靠验证器剪掉已完成路径，失败尝试会作为负向提示进入下一轮。 作者称，Navier-Stokes 证明动用了 10000 个智能体、耗时 88 小时、消耗 300B token。这是其分析中引用的说法，并非已证实的效果。

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

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