Latent.space 解析 AI 为何突然擅长数学：从 Erdős 单位距离反例说起

作者分析 OpenAI 与 Anthropic 今年公布的多项开放数学问题成果，包括 Erdős 单位距离猜想的反例、Cycle Double Cover 证明、Navier-Stokes 证明以及费马大定理形式化。