AI 在数学上越来越强。这是为什么。
今年 5 月，OpenAI 的一个内部模型找到了埃尔德什单位距离猜想（自 1946 年悬置至今）的反例；一个月后 OpenAI 发表了环二重覆盖猜想的证明，到 7 月又解决了十个开放问题，9 月则在纳维-斯托克斯相关工作上取得进展。Anthropic 则发表了费马大定理的形式化证明和黎曼猜想的新上界。为什么重要：如果模型正在系统性地攻克悬置数十年的开放问题，意味着 AI 推理能力出现了质的飞跃，对科研影响深远——本期还探讨了我们能否预测模型下一步会解决什么。
报道来源
- Latent Space Podcast2026-10-23 15:19