OpenAI demuestra la conjetura de Cannon: la IA resuelve un problema de casi 40 años de la teoría geométrica de grupos, con verificación mecánica en Lean
Entre los manuscritos de matemáticas que OpenAI publicó el 6 de octubre, un artículo de 31 páginas afirma haber demostrado por completo la conjetura de Cannon y se acompaña de una verificación formal en Lean.