AI 为何越来越擅长数学证明

作者梳理 OpenAI 从 Erdős 单位距离猜想的反例到 Navier-Stokes 证明、Anthropic 在 Fermat 与 Riemann 上的工作，提出用提示序列长度 k 与分支因子 b 解释模型为何擅长数学。