要点
- 問題：Cannon予想は幾何学的群論の中心的難問である。語双曲群の無限遠境界が位相的に二次元球面であるとき、その群は三次元双曲空間に幾何学的に作用するのか。約40年にわたり、完全な証明を示した者はいなかった。
- AIの手法：OpenAIの社内フロンティアモデルが、「A Modulus Proof of Cannon's Conjecture」と題する31ページの証明を示した（日付は2026年9月23日）。中核は組合せモジュラス（combinatorial modulus）の手法で、先行研究が証明できなかった「一様な境界モジュラス評価」を確立し、境界の幾何、連続な極限関数、2通りの背理法で論証を完結させている。
- 機械で検証可能：論文にはLeanによる形式化版が付属し、定理の主張は機械で検査できる。これがAIの数学的成果と従来の手稿との決定的な違いだ。
解説
Cannon予想の証明は、10月6日に一括公開された722本の手稿の中で、最も幾何学的な重みのある個別成果の一つである。AIが「計算が速い」だけでなく、高度に構造化された純粋数学の分野で、人間の専門家が行き詰まっていた鍵となる補題を構成できることを示している。ただし独立した数学者による審査が終わるまでは「証明の主張」にとどまる。それでもLean版の存在により、検証には機械で実行可能な出発点が得られた。
原文リンク：Cannon Conjecture: OpenAI's Breakthrough Proof Of 3D Geometry。本文は要約であり、参考情報にとどまる。
