AI Is Getting Good at Math. Here's Why.

作者分析 OpenAI 与 Anthropic 近期在 Erdős 单位距离猜想反例、Cycle Double Cover、Navier-Stokes、费马大定理形式化等开放问题上的进展，提出用提示序列长度 k、工作量 t 和分支因子 b 的框架解释模型为何擅长数学。