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

Durante cientos de años, los matemáticos han puesto a prueba sus cerebros enfrentándose a endiablados problemas matemáticos que nadie ha logrado resolver. Reflexionan sobre ellos, los debaten, publican artículos al respecto. Solucionarlos puede ser el trabajo de toda una vida. Pero el 13 de abril de este año fue la inteligencia artificial (IA) la que resolvió un problema matemático que hasta entonces se había resistido a los simples mortales: el problema 1196 de Erdős.

Los expertos en la materia se sorprendieron y, por supuesto, se interesaron. Mucho. “Después de quizás una hora de leer y revisar el resultado en bruto que había producido la IA, me quedó muy claro que era correcto y que la idea era muy buena”, cuenta el matemático Jared Duker Lichtman, de la Universidad de Stanford. Lichtman llevaba siete años trabajando en ese enigma que acababa de ser resuelto por un aficionado de las matemáticas que ingresó un solo prompt en una IA. Pero ¿en qué consiste este problema y qué significa para las matemáticas que la IA lo resolviera? Si…