Inteligencia artificial logró resolver el problema 1196 de Erdős el 13 de abril, un enigma que había resistido siete años de trabajo intenso por parte de investigadores académicos. Jared Duker Lichtman, matemático de la Universidad de Stanford, recibió la solución a través de un correo electrónico inesperado. Tras revisar el resultado durante aproximadamente una hora, Lichtman confirmó su validez: "Me quedó muy claro que era correcto y que la idea era muy buena".

Este evento expone una transformación en la metodología de investigación matemática. Los problemas sin resolver han sido históricamente el centro de dedicaciones de por vida, casos como el último teorema de Fermat que tardó más de 350 años en resolverse utilizando conceptos matemáticos que ni siquiera existían en la época de su formulación. Los enigmas de Paul Erdős, un matemático húngaro que planteó más de 1,200 problemas durante su carrera, representan una categoría particular de desafíos que han permanecido abiertos durante décadas. La capacidad de la IA para abordar estos problemas introduce nuevas dinámicas sobre cómo se estructura la investigación fundamental.

El contexto de los problemas matemáticos sin resolver

La comunidad matemática ha identificado familias completas de enigmas irresueltos: la conjetura de Collatz, la hipótesis de Riemann y los problemas de Hilbert constituyen solo algunos ejemplos. Cada rama de las matemáticas mantiene sus propias grandes preguntas, y la resolución de una suele generar nuevos interrogantes. En 2023, una plataforma digital compiló la vasta colección de problemas de Erdős, permitiendo a investigadores identificar cuáles requerían atención y compartir demostraciones de forma colaborativa.

Implicaciones para la investigación y la colaboración

La intervención de algoritmos en la resolución de problemas matemáticos clásicos plantea cuestiones sobre la naturaleza del descubrimiento científico. La capacidad de procesamiento de la IA para identificar patrones y conexiones que escapan a la revisión manual sugiere que la tecnología puede acelerar ciclos de investigación que de otro modo tomarían años o décadas. Sin embargo, esto también redefine qué significa "resolver" un problema: la validación de la solución requiere aún de expertos humanos que verifiquen tanto la corrección como la elegancia matemática del resultado.

La plataforma digital que recopila estos problemas facilita no solo la colaboración entre matemáticos dispersos geográficamente, sino también la integración de herramientas computacionales en la investigación fundamental. Este modelo híbrido, donde la inteligencia artificial genera hipótesis y los matemáticos validan y contextualizan los resultados, representa una evolución en cómo se aborda la investigación en disciplinas que históricamente dependían del razonamiento individual y la intuición.