«Es increíble»: cómo la IA está transformando las matemáticas

Un joven inglés sin título universitario, Liam Price, ha resuelto uno de los famosos problemas de Erdős, el número 1196, utilizando ChatGPT. No se trata de un cálculo monstruoso, sino de una solución que ha dejado perplejos incluso a los expertos, porque ChatGPT ha encontrado un nuevo camino, fuera de los esquemas humanos. La tesis aquí es que la inteligencia artificial ya está cambiando las matemáticas, no solo acelerando los cálculos, sino llegando a intuiciones que ni siquiera los matemáticos habían visto nunca. Hasta ahora se pensaba que la IA solo podía remezclar técnicas conocidas, pero ahora la sorpresa es que empieza a generar ideas realmente originales y a conectar diferentes campos con una intuición que casi parece «pensamiento». Tomemos a Jared Duker Lichtman, matemático de Stanford: ha dicho que es como si la IA hubiera encontrado una nueva apertura en el ajedrez, de esas que ningún ser humano había imaginado nunca porque estaba bloqueado por las convenciones y el gusto estético. La historia de Liam Price es perfecta: desde su casa en Inglaterra, junto con Kevin Barreto, un estudiante de Cambridge, obtiene de ChatGPT una solución que no parte de la probabilidad —el camino clásico—, sino que se mantiene en el lenguaje original del problema, pero conecta números y probabilidades de una manera inédita. Terence Tao, uno de los matemáticos más brillantes de la actualidad, afirma que este avance era impensable hace un año: entonces se pensaba que los modelos lingüísticos nunca irían más allá de lo que habían «leído» en los libros. Y, en cambio, ahora se vislumbra algo que va más allá, hasta el punto de que Sébastien Bubeck, de OpenAI, habla de algo «increíble». Hay quienes relativizan: Daniel Litt, de la Universidad de Toronto, dice que los resultados siguen siendo modestos, pero advierte que el escepticismo está fuera de lugar; el verdadero misterio es por qué la IA, con su conocimiento sobrehumano y su resistencia sin esfuerzo, no ha hecho ya descubrimientos revolucionarios. Tal vez, dice Litt, no entendemos qué es realmente el «toque secreto» humano en las matemáticas, esa creatividad que nadie sabe explicar. Otro dato: los modelos actuales llegan a producir demostraciones de 3-4 páginas, los de Google apuntan a 10, pero llevará tiempo llegar a 100. Mientras tanto, Lauren Williams, de Harvard, lanza la alarma: más IA significa más «slop», es decir, demostraciones que parecen perfectas pero están llenas de errores, y nadie tiene tiempo para revisarlas todas. La perspectiva que falta es el esfuerzo humano: las matemáticas, durante siglos, han sido un ejercicio de resistencia y de soledad mental. Si la IA elimina el esfuerzo, queda el asombro, pero tal vez también se pierda una parte de lo que hace que un matemático sea realmente un matemático. La frase que lo resume todo: la IA no solo está resolviendo problemas, sino que está cambiando las reglas del juego de las matemáticas. Si crees que esta historia te concierne, en Lara Notes puedes pulsar I'm In: es tu forma de decir que esta idea ahora es tuya. Y si mañana le cuentas a alguien que un chico sin título universitario ha utilizado ChatGPT para resolver un problema de Erdős, en Lara Notes puedes señalarlo: Shared Offline es la forma de decir que esa conversación importaba. Esto era de Nature y te ahorra 2 minutos.