Points clés
- Le problème : la conjecture de Cannon est un problème central de la théorie géométrique des groupes : si un groupe hyperbolique a pour bord à l'infini une sphère de dimension deux, agit-il nécessairement géométriquement sur l'espace hyperbolique de dimension trois ? Depuis près de 40 ans, personne n'a fourni de démonstration complète.
- Ce qu'a fait l'IA : un modèle de pointe interne d'OpenAI a produit une démonstration de 31 pages intitulée « A Modulus Proof of Cannon's Conjecture » (datée du 23 septembre 2026). Son cœur est la méthode du module combinatoire (combinatorial modulus) : elle établit une « borne uniforme du module du bord » que ses prédécesseurs n'avaient pas su démontrer, et achève l'argument avec la géométrie du bord, des fonctions limites continues et deux raisonnements par l'absurde.
- Vérifiable par machine : l'article est accompagné d'une version formalisée en Lean dont les énoncés de théorèmes peuvent être vérifiés par machine, ce qui distingue fondamentalement les résultats mathématiques de l'IA des manuscrits traditionnels.
Analyse
La démonstration de la conjecture de Cannon est l'un des résultats isolés les plus géométriques parmi les 722 manuscrits publiés en bloc le 6 octobre. Elle montre non seulement que l'IA « calcule vite », mais qu'elle peut construire, dans un domaine de mathématiques pures très structuré, des lemmes clés sur lesquels les experts humains butaient. Tant que des mathématiciens indépendants n'auront pas terminé leur examen, il s'agit toutefois d'une « démonstration annoncée », mais l'existence de la version Lean donne à la vérification un point de départ exécutable par machine.
Lien d'origine : Cannon Conjecture: OpenAI's Breakthrough Proof Of 3D Geometry. Ce texte est un résumé, fourni à titre indicatif uniquement.
