分析：AI 数学突破靠并行试错与验证剪枝

Latent Space 作者分析 OpenAI 与 Anthropic 近期在数学开放问题上的进展，提出用提示序列长度 k 与分支因子 b 判断问题对 LLM 是否可解。作者称，模型以深度优先方式并行尝试大量路径，配合自动验证器剪枝，把失败尝试当作负面提示；人类则擅长缩小分支，两者形成互补。 作者据此认为，概念跳跃已完成的繁琐数学最容易被模型推进，而高 k、高 b 的问题仍是人类直觉的优势所在。

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

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