AI 正在变擅长数学。原因如下。

文章列举了 2026 年一系列 AI 数学成果：OpenAI 内部模型找到 Erdős 单位距离猜想的反例、发表 Cycle Double Cover 证明、解决另外十个开放问题、给出 Navier-Stokes 证明；Anthropic 发布费马大定理形式化及黎曼猜想的新界。作者提出能否预测模型会解决哪类问题的议题，用“若干提示/洞见加上其间的努力”这一心智模型衡量问题复杂度，并引述 WT Gowers 对单位距离证明的评论。关注 AI 数学推理能力与问题难度分析的读者可读。