Puntos clave
- El problema: la conjetura de Cannon es un problema central de la teoría geométrica de grupos: si un grupo hiperbólico tiene como frontera en el infinito una esfera bidimensional, ¿actúa necesariamente de forma geométrica sobre el espacio hiperbólico tridimensional? Durante casi 40 años nadie ha dado una demostración completa.
- Lo que hizo la IA: un modelo de frontera interno de OpenAI produjo una demostración de 31 páginas titulada "A Modulus Proof of Cannon's Conjecture" (fechada el 23 de septiembre de 2026). Su núcleo es el método del módulo combinatorio (combinatorial modulus): estableció una "cota uniforme del módulo de la frontera" que los predecesores no lograron demostrar, y completó el argumento con geometría de la frontera, funciones límite continuas y dos demostraciones por reducción al absurdo.
- Verificable por máquina: el artículo incluye una versión formalizada en Lean cuyos enunciados de teoremas pueden comprobarse por máquina, una diferencia clave entre los resultados matemáticos de la IA y los manuscritos tradicionales.
Análisis
La demostración de la conjetura de Cannon es uno de los resultados individuales de mayor peso geométrico entre los 722 manuscritos publicados en bloque el 6 de octubre. Muestra no solo que la IA "calcula rápido", sino que puede construir, en un área de matemática pura muy estructurada, lemas clave en los que los expertos humanos estaban atascados. Eso sí, mientras matemáticos independientes no completen la revisión, sigue siendo una "demostración afirmada", pero la existencia de la versión en Lean da a la verificación un punto de partida ejecutable por máquina.
Enlace original: Cannon Conjecture: OpenAI's Breakthrough Proof Of 3D Geometry. Este texto es un resumen y se ofrece solo como referencia.
