Pontos principais
- O problema: a conjectura de Cannon é um problema central da teoria geométrica de grupos: se um grupo hiperbólico tem como fronteira no infinito uma esfera bidimensional, ele necessariamente age geometricamente sobre o espaço hiperbólico tridimensional? Por quase 40 anos ninguém apresentou uma prova completa.
- O que a IA fez: um modelo de fronteira interno da OpenAI produziu uma prova de 31 páginas intitulada "A Modulus Proof of Cannon's Conjecture" (datada de 23 de setembro de 2026). O núcleo é o método do módulo combinatório (combinatorial modulus), que estabeleceu uma "cota uniforme do módulo da fronteira" que os antecessores não conseguiram provar, e completou o argumento com geometria da fronteira, funções limite contínuas e duas demonstrações por absurdo.
- Verificável por máquina: o artigo vem com uma versão formalizada em Lean, cujos enunciados de teoremas podem ser verificados por máquina, uma diferença essencial entre os resultados matemáticos da IA e os manuscritos tradicionais.
Análise
A prova da conjectura de Cannon é um dos resultados individuais de maior peso geométrico entre os 722 manuscritos divulgados em lote em 6 de outubro. Ela mostra não só que a IA "calcula rápido", mas que consegue construir, em uma área altamente estruturada da matemática pura, lemas-chave nos quais os especialistas humanos estavam travados. Ainda assim, até que matemáticos independentes concluam a revisão, trata-se de uma "prova alegada", mas a existência da versão em Lean dá à verificação um ponto de partida executável por máquina.
Link original: Cannon Conjecture: OpenAI's Breakthrough Proof Of 3D Geometry. Este texto é um resumo, apenas para referência.
