AI 为何突然擅长数学：从 OpenAI 破解 Erdős 猜想谈起

OpenAI 内部模型在 5 月找到 Erdős 单位距离猜想（1946 年提出）的反例，随后接连给出 Cycle Double Cover 问题证明、另外十个开放问题的解以及 Navier Stokes 证明，Anthropic 则发布了费马大定理的形式化并推进了黎曼猜想的界。