AI 证伪 80 年几何猜想
推荐指数 76.0 NO. 001 · 2026.05.21
发布2026/05/20
为什么值得看
OpenAI 模型推翻了 Paul Erdős 1946 年提出的平面单位距离问题相关猜想，该问题是组合几何领域最著名难题之一。这是 AI 首次在纯数学核心猜想上取得突破性否定证明，可能改变数学家对 AI 辅助研究的信任阈值。
编辑判断
这个突破的真正意义不在几何本身，而在证明范式。之前 DeepMind 的 AlphaGeometry 做的是奥林匹克级别的构造证明，这次是 AI 直接攻击开放了 80 年的分析型猜想，且给出了否定结论——这比验证性证明难一个数量级。
对 AI 从业者来说，这意味着形式化数学（formal mathematics）正在从辅助工具变成发现工具。Lean、Coq 这些证明助手社区可能会迎来一波人才涌入，做 AI for Science 的团队也该重新评估数学发现这条赛道。
不过要小心过度解读：目前披露的细节有限，尚不清楚模型是独立发现反例构造，还是在人类提示下完成了验证步骤。等论文放出再看分工边界。