El avance matemático de la IA empuja a la ciencia hacia un territorio nuevo y extraño

“A veces la gente tiene una idea equivocada de las matemáticas y piensa que serán superadas por las computadoras”, dijo el matemático Alain Connes en el año 2000.

Explicaba así por qué un equipo de prestigiosos matemáticos ofrecía un millón de dólares en recompensas por la solución de siete problemas matemáticos irresolubles .

Estos problemas del Premio del Milenio , afirmó el Dr.

Connes, “son totalmente inaccesibles para las computadoras”.

Pero las computadoras mejoraron.

A principios de septiembre, OpenAI , una empresa estadounidense, anunció que uno de sus modelos internos de IA había resuelto un problema del Premio del Milenio: el problema de existencia y suavidad de Navier-Stokes , relacionado con el movimiento de fluidos.

Fue el segundo de todos los problemas resueltos y el primero en ser resuelto por una máquina.

Los matemáticos llevaban al menos un siglo intentando resolverlo.

La IA lo resolvió en 88 horas .

Luego llegó lo que Álvaro Lozano-Robledo , matemático de la Universidad de Connecticut , ha calificado como «posiblemente el día más importante en la historia de las matemáticas hasta la fecha» .

El 6 de octubre, OpenAI publicó una avalancha de 719 artículos que detallaban soluciones que el mismo modelo había encontrado para al menos otros 372 problemas abiertos de larga data.

Ningún campo de investigación había experimentado jamás un acontecimiento similar.

Muchos matemáticos no celebran. «La conmoción es inmensa», escribió Hugo Duminil-Copin , matemático de la Universidad de Ginebra , ganador de la Medalla Fields (el premio más prestigioso de las matemáticas) en 2022. «Estoy paralizado».

En una declaración publicada poco después del anuncio de Navier-Stokes —y respaldada desde entonces por más de 8000 investigadores—, el Dr.