El matemático que llevaba 7 años trabajando en descifrar un enigma que fue resuelto por un aficionado

El matemático Jared Duker Lichtman, profesor de la Universidad de Stanford, había dedicado siete años a resolver el problema 1196 de Erdős, una de las más de 1.200 cuestiones planteadas por el prolífico matemático húngaro Paul Erdős. Este enigma, que pertenece a la categoría de conjuntos primitivos, había sido objeto de su tesis doctoral y de un intenso trabajo personal durante varios años. La idea central del problema es analizar cómo crece la puntuación de un conjunto primitivo cuando todos sus elementos son mayores que un número X que tiende a infinito.

El 13 de abril de 2026, la respuesta al problema llegó de forma inesperada: un aficionado a las matemáticas británico, Liam Price, de 23 años, había enviado un solo prompt a la inteligencia artificial GPT‑5.4 Pro. La IA generó una demostración preliminar que, según Lichtman, contenía la solución correcta. El matemático, tras revisar el resultado en cuestión de minutos, confirmó que la propuesta era válida y que la idea subyacente era sólida.

Este suceso ha generado sorpresa entre los expertos, pues la resolución de problemas matemáticos complejos suele requerir años de investigación y colaboración. La intervención de la IA, en este caso, demuestra que las herramientas de aprendizaje automático pueden aportar ideas y enfoques novedosos, funcionando como un colega de confianza que ayuda a avanzar en la investigación.

El contexto histórico de los problemas de Erdős se remonta a la época de Paul Erdős, quien, sin posesiones materiales, viajó por el mundo y dejó un legado de más de 1.200 problemas, muchos de los cuales fueron resueltos con técnicas que no existían en su tiempo. El problema 1196 se centra en la teoría de conjuntos primitivos, donde los números elegidos no deben ser divisibles entre sí, aunque no necesariamente sean primos. Ejemplos simples como el conjunto {4, 5, 6} ilustran la noción sin entrar en la complejidad matemática que rodea la conjetura.

La resolución de este problema por una IA plantea interrogantes sobre el futuro de la investigación matemática. Si bien la demostración inicial fue considerada preliminar, la rapidez con la que Lichtman pudo verificar su validez sugiere que las herramientas de inteligencia artificial podrían convertirse en aliados esenciales para los matemáticos, acelerando la solución de enigmas que de otro modo requerirían años de trabajo individual. Esta experiencia abre la puerta a una colaboración más estrecha entre humanos y máquinas en el ámbito de las matemáticas avanzadas.