AI 的数学越来越好了，原因在这里
文章报道 OpenAI 内部模型证伪了 Erdős 单位距离猜想（自 1946 年悬而未决）、证明了 Cycle Double Cover 猜想、还解出了另外十个公开问题，并分析了原因：模型用自动化验证器做深度优先搜索，把时间换成算力，让普通提示也变得可执行、失败尝试变成负向提示。引用 OpenAI 数学家 Jacob Tsimerman 的话：AI 能在比数学家更长、更险恶的水域里游而不被淹没。它的重要性在于提供了一个预测 AI 下一步攻克哪类问题的框架。
报道来源
- Latent Space2026-10-23 15:19