La resolución del Problema 1196 de Erdős por un sistema de inteligencia artificial el pasado 13 de abril ha marcado un hito fundamental en las matemáticas globales. Este enigma, que durante siete años desafió al renombrado matemático Jared Duker Lichtman de la Universidad de Stanford, fue desvelado inesperadamente por un aficionado. El uso de un modelo avanzado de IA logró la solución, redefiniendo las percepciones sobre la capacidad computacional. Este evento subraya el creciente impacto de la IA en Matemáticas, proyectando nuevas dinámicas en la investigación y el descubrimiento científico.
Paul Erdős, figura central de las matemáticas del siglo XX, legó más de 1.200 problemas, muchos sin resolver por décadas. Su estilo de vida nómada y dedicación a la colaboración intelectual lo convirtieron en leyenda. El Problema 1196 se enmarca en su estudio de ‘conjuntos primitivos’, donde ningún número es divisible por otro. Estos desafíos encapsulan la complejidad inherente a la teoría de números, exigiendo rigor lógico e intuición creativa.
La tenacidad del Dr. Lichtman en su investigación es ejemplar. Tras dedicar cuatro años a resolver el Problema 164, lo que culminó en su tesis doctoral, Lichtman enfocó su atención en el 1196 y enigmas relacionados. Durante tres años adicionales, exploró las complejidades de cómo los ‘conjuntos primitivos’ se comportaban asintóticamente. Su labor demandaba concentración profunda y comprensión, persistiendo hasta el arribo de un correo electrónico con la clave.
La solución provino de Liam Price, un joven británico sin formación universitaria formal en matemáticas, quien empleó GPT-5.4 Pro. Price formuló un ‘prompt’ específico para la IA, que en ochenta minutos generó una respuesta. Aunque el planteamiento inicial de la IA era rudimentario, Lichtman identificó rápidamente su validez y la originalidad de la ‘idea nueva’ subyacente. Esta aproximación metodológica, inexplorada en la literatura previa, no solo resolvió el Problema 1196, sino que desató nuevas líneas de investigación. El suceso ilustra el potencial de la IA para desvelar paradigmas humanos inadvertidos.
Este caso recalibra el papel de la IA en la matemática. A diferencia de asistencias previas en problemas menores, la IA ha demostrado capacidad para la innovación conceptual en desafíos de gran envergadura. Lichtman, lejos de sentirse desplazado, reconoció el valor de la IA como un ‘colega de confianza’ capaz de generar intuiciones frescas. La validación y formalización de estas soluciones es tarea humana indispensable, estableciendo un modelo de colaboración que impulsa el avance científico.
Esta colaboración simbiótica acelera el descubrimiento matemático. Semanas después del hito del Problema 1196, otro modelo de OpenAI refutó una conjetura de Erdős de casi ochenta años. El 1 de agosto, se anunciaron diez nuevos avances en problemas complejos, fruto de esta interacción entre algoritmos y matemáticos. Este modelo subraya una transición fundamental en la ciencia: la IA no es un mero instrumento, sino un socio estratégico que amplifica la investigación humana, prometiendo progreso sin precedentes en la exploración de los misterios matemáticos.Si le ha parecido interesante este análisis, le invitamos a compartirlo y a dejar su opinión en los comentarios.
