El problema 1196 de Erdős, estudiado durante años por el matemático de Stanford Jared Duker Lichtman, fue resuelto en abril de 2026 con ayuda de GPT-5.4 Pro a partir del trabajo de un aficionado británico de 23 años.
Un desafío que llevaba décadas abierto
El problema 1196 forma parte de los más de 1.200 desafíos planteados por el matemático húngaro Paul Erdős. Está relacionado con los denominados conjuntos primitivos y había permanecido sin una solución conocida durante décadas.
Lichtman había dedicado alrededor de siete años a estudiar este problema y otros relacionados, incluso después de resolver otro desafío de Erdős que posteriormente formó parte de su tesis doctoral.
Un aficionado recurrió a la IA
La solución llegó de una manera inesperada. Liam Price, un británico de 23 años sin título universitario en matemáticas, planteó el problema a GPT-5.4 Pro mediante un prompt y obtuvo una posible demostración después de unos 80 minutos.
Posteriormente, utilizó otra versión del modelo para revisar el razonamiento. El resultado fue enviado a Lichtman, quien inicialmente encontró una demostración preliminar y desordenada, pero tras analizarla concluyó que la idea era correcta y novedosa.
La IA como herramienta para los matemáticos
El avance abrió un nuevo debate sobre el papel de la inteligencia artificial en las matemáticas. Lichtman considera que los modelos pueden aportar ideas e intuiciones similares a las de un colaborador, aunque el análisis de expertos sigue siendo necesario para comprobar y desarrollar los resultados.
El caso se suma a otros avances recientes en problemas de Erdős, incluidos resultados en los que modelos de IA ayudaron a resolver o refutar planteamientos que llevaban décadas abiertos.
Dato: Paul Erdős planteó más de 1.200 problemas matemáticos a lo largo de su vida y es considerado uno de los matemáticos más prolíficos del siglo XX.
Jared Duker Lichtman dando una clase. Se ve un pizarrón con una ecuación escrita en tiza.