AI 为何突然擅长数学：从提示序列与分支因子看模型解题方式

作者梳理 OpenAI 与 Anthropic 今年在数学开放问题上的多项结果，包括 Erdős 单位距离猜想的反例、Cycle Double Cover 与 Navier-Stokes 的证明，以及 Fermat 大定理形式化和 Riemann 假设相关界。