AI 数学证明突破：提示序列与分支因子解释

Latent Space 的一篇文章提出，大模型近期接连产出数学证明，是因为模型以深度优先方式穷举每条可行路径，再用自动验证器剪枝，把人类需要数月试错的成本压缩到几分钟。作者用提示序列长度 k 与分支因子 b 来解释这一解题方式。 这一解释来自该文作者，并非经过验证的结论；报道未给出支持该机制的具体实验或数据。

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

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