Las proezas matemáticas de la IA: ¿crisis de confianza o nueva era de descubrimiento?

El panorama de la ciencia fundamental está cambiando bajo nuestros pies, particularmente en matemáticas, donde los recientes avances de la IA están haciendo más que solo resolver problemas; están provocando una 'crisis existencial' entre las mismas mentes humanas que antes ostentaban el dominio exclusivo sobre el pensamiento abstracto. Durante décadas, la IA en matemáticas se relegó en gran medida a la asistencia computacional, a una calculadora potente. Ahora, los modelos no comercializados de los principales actores no solo asisten, sino que generan pruebas de forma independiente para enigmas que han desconcertado a la humanidad durante generaciones, lo que nos obliga a reevaluar nuestro papel en la búsqueda del conocimiento.

Los últimos meses han sido un torbellino, especialmente para los matemáticos. En una vertiginosa serie de anuncios, los modelos de IA han abordado algunos de los desafíos más formidables en el campo. En particular, OpenAI anunció el 8 de septiembre de 2026 la resolución de uno de los codiciados problemas del Premio del Milenio, la ecuación de Navier-Stokes, que describe el flujo de fluidos. Este avance, que aún está en fase de confirmación, supuestamente implicó decenas de millones de dólares, 10.000 agentes trabajando durante 88 horas y 17 horas de verificación, produciendo una solución que demuestra un resultado "explosivo" para la ecuación sciencesetavenir.fr.

Este no fue un evento aislado. Anteriormente, el 20 de mayo de 2026, OpenAI reveló una refutación generada por IA de la conjetura de la distancia unitaria de Erdős, un problema de geometría combinatoria que había eludido a los matemáticos desde 1946. Según los expertos, la IA realmente ofreció una idea novedosa para encontrar este contraejemplo sciencesetavenir.fr. La compañía continuó su racha el 1 de agosto de 2026, publicando 'Diez avances en matemáticas y ciencias de la computación teórica' logrados por su modelo Astra, incluida la refutación de la conjetura de rigidez de Connes openai.com. Sin quedarse atrás, competidores como Anthropic también han anunciado avances significativos, con su matemático Levent Alpöge descubriendo un contraejemplo a la conjetura jacobiana (abierta desde 1939) el 19 de julio de 2026, y más tarde demostrando la existencia de una estructura compleja para la esfera de 6 dimensiones el 23 de agosto de 2026 sciencesetavenir.fr. El volumen de estos logros, incluidas las soluciones de IA a más de 300 problemas en varios campos, se ha descrito como una revolución silenciosa, en la que la IA ha comenzado a dominar la heurística humana en el descubrimiento de pruebas sciencesetavenir.fr.