IA china resuelve conjetura matemática sin intervención humana, un hito en automatización del razonamiento

Un sistema de inteligencia artificial desarrollado en China ha logrado formalizar y verificar por sí mismo la solución a un problema matemático abierto, operando sin intervención humana relevante. El hito, alcanzado por un equipo liderado por la Universidad de Pekín, representa un avance significativo en la automatización del razonamiento matemático puro. El modelo completó en horas una tarea que normalmente requiere la intuición y el esfuerzo sostenido de matemáticos expertos.

El sistema, descrito en un artículo preliminar, empleó una arquitectura de doble agente para abordar una conjetura de álgebra conmutativa planteada en 2014 por el matemático estadounidense Dan Anderson. Un agente se encargó del razonamiento informal, explorando estrategias y construyendo posibles demostraciones, mientras que un segundo agente traducía y verificaba rigurosamente esas pruebas en un formato matemático formal. Todo el proceso, desde la exploración hasta la verificación final, se completó en aproximadamente 80 horas de tiempo de ejecución computacional.

Este logro trasciende el ámbito académico, señalando una presión creciente sobre los límites de la creatividad y la resolución de problemas complejos que se consideraban dominio exclusivamente humano. La capacidad de una IA para navegar y formalizar el razonamiento abstracto en matemáticas puras plantea implicaciones profundas para la investigación científica, la educación y la propia naturaleza del descubrimiento intelectual. El avance coloca a los equipos de investigación chinos en la vanguardia de una carrera global por desarrollar sistemas de IA con capacidades de razonamiento autónomo cada vez más sofisticadas.