Latent Space：AI 为什么越来越擅长数学

文章梳理今年 AI 数学进展：5 月 OpenAI 内部模型找到 1946 年提出的 Erdős 单位距离猜想的反例，随后证明 Cycle Double Cover 问题、7 月前再解十个开放问题、9 月给出 Navier Stokes 证明，并分析背后原因。