AI 为什么突然擅长数学

作者提出用提示序列长度 k 与分支因子 b 解释模型解题能力，认为近期 OpenAI 找到 Erdős 单位距离猜想的反例、给出 Cycle Double Cover 与 Navier-Stokes 的证明，以及 Anthropic 在 Fermat 大定理与 Riemann 猜想上的进展，都来自模型能低成本穷举每条合理路径。