Un equipo de humanos e IA presenta una demostración para un problema sobre el caos planteado hace décadas

Un grupo de matemáticos de China ha presentado una demostración verificada por ordenador del caso tridimensional de la conjetura de Ghys, un problema planteado por primera vez en 1995. El equipo combinó el criterio de expertos con un modelo de IA para desarrollar el razonamiento.

La conjetura relaciona el caos con la geometría. A grandes rasgos, plantea si un tipo concreto de movimiento caótico obliga al espacio matemático en el que se produce a tener una estructura muy regular. La demostración presentada se refiere al caso tridimensional y no resuelve la conjetura en su totalidad.

Dirigidos por Xu Disheng, profesor de la Universidad de la Gran Bahía, los investigadores trabajaron con el modelo Shusheng-S2 del Laboratorio de Inteligencia Artificial de Shanghái. A lo largo de siete rondas de razonamiento, el modelo exploró múltiples vías y generó argumentos detallados. Los investigadores identificaron ideas prometedoras, descartaron caminos sin salida y orientaron la siguiente ronda de exploración.

Otro equipo de la Universidad de Pekín tradujo los cuatro teoremas principales del artículo a un formato verificable por ordenador. Las demostraciones superaron la comprobación de Lean, un sistema que verifica el razonamiento matemático paso a paso. Los expertos también confirmaron que los enunciados formales coincidían con los del artículo.

La investigación se ha difundido como prepublicación en arXiv y el código de verificación está disponible públicamente, lo que permite a otros examinar el trabajo.