Un matemático se confiesa «aterrorizado» tras el vuelco que la IA ha dado a su disciplina en una sola semana

En el transcurso de una sola semana, dos de las principales empresas de IA del mundo anunciaron resultados que han sacudido a la comunidad matemática: OpenAI afirma haber resuelto un problema matemático de 90 años de antigüedad valorado en un millón de dólares, mientras que Anthropic reveló que su IA, Claude, formalizó una de las demostraciones más famosas de la historia. Esta sucesión de anuncios rápidos ha dejado a los matemáticos oscilando entre el asombro y el temor.

Cae un Problema del Milenio

El martes 8 de septiembre, OpenAI anunció que aproximadamente 10.000 agentes de IA, ejecutados en un modelo aún no lanzado y más potente que su GPT-6 Astra, habían resuelto el problema de la existencia y suavidad de las ecuaciones de Navier-Stokes en 88 horas. El problema, uno de los seis Problemas del Milenio restantes designados por el Instituto Clay de Matemáticas en el año 2000, plantea si las ecuaciones que rigen el movimiento de los fluidos pueden producir infinitos repentinos, o "estallar". Los agentes de OpenAI concluyeron que sí pueden.cnbc+2

La solución, pendiente de verificación independiente, se basa en el trabajo de los matemáticos españoles Diego Córdoba y Luis Martínez-Zoroa, quienes desarrollaron la técnica subyacente tras un año de investigación. Sin embargo, el anuncio se vio inmediatamente ensombrecido por una disputa. Horas antes del lanzamiento de OpenAI, el matemático de la Universidad de Nueva York (NYU) Tristan Buckmaster publicó una declaración afirmando que él y el investigador de Anthropic Levent Alpöge habían estado trabajando en el mismo problema utilizando el enfoque de Córdoba y Martínez-Zoroa, y que OpenAI se apresuró a publicar tras enterarse de sus avances. Buckmaster alega que OpenAI intentó influir en la atribución del mérito del trabajo.techcrunch+4

El Último Teorema de Fermat, formalizado

Días antes, Anthropic reveló que Claude había producido la primera formalización completa y verificada por ordenador del Último Teorema de Fermat en el asistente de demostración Lean. Trabajando de manera mayoritariamente autónoma durante 11 días, el sistema generó aproximadamente 13 millones de líneas de código y demostró 29.500 teoremas intermedios en el proceso. Kevin Buzzard, del Imperial College de Londres, quien ha liderado un esfuerzo paralelo de varios años para formalizar la misma demostración, lo calificó como "un logro extraordinario de autoformalización".aitechdaily+2

El resultado no constituye una nueva demostración (Andrew Wiles demostró el teorema en 1995), sino más bien una codificación verificada por máquina de una demostración ya existente, una tarea que los matemáticos preveían que tardaría años en completarse.letsdatascience+1

"Estoy realmente aterrorizado"

Estos avances han provocado una profunda reflexión entre los investigadores. En una entrevista con Wired News Corp ↘ 0.03% publicada el sábado, el matemático de la Universidad de Cornell Steven Strogatz se describió a sí mismo como "realmente aterrorizado" por el ritmo del cambio. "La ciencia es estimulante", afirmó, "pero viene acompañada de mucha discordia humana". Strogatz, coautor de "Big Math", un libro de próxima publicación sobre cómo las matemáticas están superando la comprensión humana, planteó que la carrera entre los laboratorios corporativos está impulsada en parte por la perspectiva de lucrativas salidas a bolsa. A medida que la IA acelera el descubrimiento matemático, señaló, las implicaciones para los investigadores que han dedicado carreras enteras a estos problemas siguen siendo inciertas.wired