要点
- 问题：Cannon 猜想是几何群论的核心难题——一个字双曲群，如果它在无穷远处的边界拓扑上是一个二维球面，是否一定在三维双曲空间上有几何作用？近 40 年无人给出完整证明。
- AI 的做法：OpenAI 内部前沿模型给出题为《A Modulus Proof of Cannon's Conjecture》的 31 页证明（落款 2026 年 9 月 23 日），核心是组合模（combinatorial modulus）方法，建立了前人未能证明的“一致边界模界”，配合边界几何、连续极限函数与两种反证法完成论证。
- 机器可验证：论文附带 Lean 形式化版本，定理陈述可被机器检查，这是 AI 数学成果与传统手稿的关键区别。
解读
Cannon 猜想的证明是 10 月 6 日 722 篇手稿批量发布中最具几何分量的单项成果之一。它展示的不仅是“算得快”，而是 AI 能在高度结构化的纯数学领域构造出人类专家此前卡住的关键引理。当然，在独立数学家完成审查之前，这仍是一份“宣称证明”——但 Lean 形式的存在让验证有了机器可执行的起点。
原文链接：Cannon Conjecture: OpenAI's Breakthrough Proof Of 3D Geometry，正文为摘要整理，仅供参考。
