El problema 1196 de Erdős, un enigma matemático que llevaba décadas sin solución, fue resuelto con ayuda de GPT-5.4 Pro. El avance sorprendió especialmente a Jared Duker Lichtman, matemático de Stanford, que había trabajado durante siete años en ese problema y en otros relacionados.
La demostración fue obtenida por Liam Price, un británico de 23 años sin título universitario en matemáticas. Price introdujo un único prompt en el modelo de OpenAI y recibió una propuesta tras unos 80 minutos. Luego pidió a otra versión de la IA que revisara el razonamiento. El resultado inicial era desordenado y preliminar, pero Lichtman concluyó, después de analizarlo durante aproximadamente una hora, que la idea era correcta y novedosa.
El valor decisivo estuvo en la verificación
El problema pertenece a la extensa colección de desafíos planteados por Paul Erdős, uno de los matemáticos más prolíficos del siglo XX. En este caso, se relaciona con los conjuntos primitivos: grupos de números en los que ninguno es divisible por otro. Su dificultad no estaba solo en encontrar una respuesta, sino en identificar una estrategia que la investigación matemática había pasado por alto durante años.
El episodio no demuestra que la IA pueda sustituir a los matemáticos. La máquina produjo una conjetura estructurada como posible demostración, pero fue necesaria la experiencia de Lichtman para detectar su consistencia, corregir su presentación y evaluar sus consecuencias. La diferencia entre una respuesta plausible y una prueba válida sigue dependiendo de la revisión humana.
El caso forma parte de una serie más amplia: modelos de OpenAI también han ayudado a resolver otros problemas de Erdős y a refutar una conjetura que llevaba casi 80 años abierta. El cambio más relevante para las matemáticas no es que la IA llegue primero a una solución, sino que empieza a aportar ideas capaces de orientar investigaciones reales. Su papel se acerca al de un colaborador: rápido para explorar posibilidades, pero todavía dependiente de expertos para convertirlas en conocimiento fiable.
