为什么 AI 突然擅长解数学难题：从 Erdős 单位距离反例说起

作者分析 OpenAI 在5月用内部模型给出 1946 年悬置的 Erdős 单位距离猜想反例，随后发布 Cycle Double Cover 证明、Navier-Stokes 相关证明，Anthropic 也发布费马大定理形式化与 Riemann 猜想界的结果。