AI 数学证明突破的解题方式分析

Latent Space 作者分析 OpenAI 与 Anthropic 近期在单位距离猜想、CDC 问题、Navier-Stokes 等数学问题上的进展，提出用提示序列长度 k 与分支因子 b 判断一个问题对 LLM 是否可解。 该分析将“AI 突然擅长数学证明”归因于模型解题方式，而非单一能力跃升；k 与 b 是其给出的可解性判断维度。

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

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