OpenAI 与 Anthropic 模型接连攻克数学难题，Latent Space 解析 LLM 为何突然擅长数学

OpenAI 内部模型 5 月找到困扰自 1946 年的 Erdős 单位距离猜想反例，随后又给出 Cycle Double Cover 问题证明、7 月解决另外十个开放问题、9 月给出 Navier-Stokes 证明；Anthropic 则发布费马大定理形式化及黎曼猜想相关新界。