El 8 de septiembre de 2026, OpenAI anunció que un despliegue de aproximadamente 10.000 agentes de IA había resuelto uno de los Problemas del Milenio, una incógnita matemática pendiente durante 90 años. Sin embargo, el anuncio fue recibido con fricción y cautela en lugar de una celebración unánime. El Instituto de Matemáticas Clay (CMI) respondió de inmediato recordando que, según sus estatutos, la evaluación formal para el premio de un millón de dólares no podrá comenzar antes de 2029. Un dilema casi centenario pareció ser derribado por la fuerza bruta del cómputo en apenas cinco días, pero los mecanismos institucionales de la comunidad científica no están preparados para asimilar semejante velocidad.
Un callejón sin salida hidrodinámico de 90 años
El 24 de mayo de 2000, el Instituto de Matemáticas Clay presentó los siete Problemas del Premio del Milenio, dotando a cada uno con una recompensa de un millón de dólares. Las ecuaciones de Navier-Stokes figuran entre ellos como una piedra angular de la mecánica clásica de fluidos. Estas ecuaciones describen las leyes microscópicas del movimiento de líquidos y gases, sustentando el diseño aerodinámico de aeronaves, los modelos meteorológicos y el estudio hemodinámico del flujo sanguíneo en el cuerpo humano. En 1934, el matemático francés Jean Leray demostró que existen soluciones en un sentido generalizado (las denominadas «soluciones débiles»). No obstante, la cuestión de si los fluidos incompresibles tridimensionales pueden desarrollar singularidades en un tiempo finito —puntos donde la velocidad y la vorticidad crecen hasta el infinito— permaneció sin resolver durante nueve décadas. La barrera técnica resultaba insalvable: a falta de herramientas analíticas capaces de rastrear distorsiones turbulentas extremas en tres dimensiones, la comunidad matemática se vio obligada a dejar el problema en suspenso.
Figura: Imagen en falso color de un chorro turbulento. Las ecuaciones de Navier-Stokes describen con precisión este movimiento, y el dilema reside en si pierde su suavidad en un tiempo finito. Fuente: Wikimedia Commons / C. Fukushima, J. Westerweel, Universidad Tecnológica de Delft
15 millones de dólares de cómputo abren una brecha
En su informe técnico On the Navier–Stokes Millennium Prize Problem, OpenAI reveló haber coordinado a unos 10.000 agentes de IA, impulsados por un modelo interno no publicado, para ejecutar una búsqueda concurrente de demostraciones. La campaña computacional arrancó el 1 de septiembre y convergió en una construcción candidata en solo 88 horas. A continuación, GPT-6 Astra dedicó 17 horas a redactar y compilar un script de verificación formal en el asistente de pruebas Lean.
A lo largo de todo el proceso se intercambiaron 4,9 millones de mensajes entre agentes y se generaron 300.000 millones de tokens. La demostración de Navier-Stokes por sí sola consumió 2,7 millones de mensajes y 130.000 millones de tokens. Al precio de las API públicas, el coste computacional ascendió a unos 15 millones de dólares. Este colosal consumo de recursos reconfiguró la deducción lógica, transformando la demostración matemática en una intensa operación de ingeniería.
La conclusión presentada por el modelo es contundente: un fluido suave inicialmente en reposo puede efectivamente desarrollar una singularidad en tiempo finito, siempre que esté sometido a una fuerza externa suave y mantenga una energía total finita. La solución matemática construida consiste en una estructura de vórtice que se enrolla en espiral hacia adentro, se estira axialmente y se adelgaza sin cesar, un diseño que OpenAI bautizó gráficamente como «espagueti» en su memoria técnica.
Aunque el código generado por la máquina compiló con éxito en Lean, los demostradores interactivos de teoremas solo confirman la coherencia sintáctica respecto a un conjunto de axiomas formales. Esto no garantiza que el propio enunciado del teorema carezca de errores de formulación matemática, ni descarta que la demostración se haya aprovechado de alguna vulnerabilidad latente en el núcleo de Lean. Hace apenas cinco meses, la comunidad de matemática formal se vio sacudida cuando fallos subyacentes en un proyecto de verificación arrojaron falsos positivos. Las máquinas pueden producir respuestas a un ritmo vertiginoso, pero la validez epistemológica de una demostración sigue dependiendo de la revisión exhaustiva de sus fundamentos lógicos por parte de expertos humanos.
Figura: Estructura del vórtice en la demostración: espiral hacia el interior, estiramiento axial, contracción continua en el centro con aceleración constante, todo manteniendo una energía total finita. Fuente: OpenAI
La disputa por la prioridad destapa nuevas grietas
La resolución de este dilema se vio de inmediato salpicada por una agria disputa de prioridad. El profesor de la Universidad de Nueva York (NYU) Tristan Buckmaster y el investigador de Anthropic Levent Alpöge llevaban más de un año trabajando en construcciones similares de singularidades, logrando el 15 de agosto resultados preliminares en las ecuaciones de Boussinesq y Euler. El 3 de septiembre, alertado por los rumores que circulaban en el sector, Buckmaster contactó formalmente con OpenAI. Tres días después, en una llamada telefónica para proponer un artículo conjunto, Sébastien Bubeck de OpenAI exigió en dos ocasiones apartar a Alpöge de la lista de autores, alegando exclusivamente que trabajaba para un competidor comercial. Esta exigencia de exclusión dinamitó los principios deontológicos de la colaboración científica abierta.
Buckmaster rechazó tajantemente la petición y divulgó las comunicaciones. OpenAI respondió con un comunicado afirmando que su equipo solo se movilizó el 1 de septiembre tras enterarse de los rumores y que jamás accedió directamente al trabajo de los investigadores. No obstante, la declaración dejó un margen de duda notable: OpenAI admitió que no podía descartar del todo que datos anonimizados procedentes de interacciones de usuarios hubiesen alimentado el entrenamiento del modelo. Si esos datos de telemetría indirecta aportaron o no la chispa de inspiración es algo que actualmente ninguna de las partes puede demostrar ni refutar.
El rumor en sí mismo se ha convertido en una nueva vulnerabilidad estructural de la ciencia moderna. Como apuntó el programador Simon Willison, la simple certeza de que un problema tiene solución basta para que laboratorios rivales desbloqueen presupuestos millonarios de cómputo con el fin de replicar o anticiparse al resultado. La carrera por el cálculo masivo no solo cambia el modo de resolver teoremas, sino que altera de raíz las reglas del juego de la investigación.
Un comité deliberadamente pausado
Frente a este agresivo alarde tecnológico, las instituciones académicas reaccionaron con calculada frialdad. En su comunicado oficial del 11 de septiembre, el Instituto de Matemáticas Clay ni siquiera mencionó el nombre de «OpenAI». El organismo se limitó a señalar que el problema «parece haber sido resuelto» (apparently been settled). En la comunidad de Hacker News, los comentarios más votados subrayaron que esa única palabra —apparently— condensa todo el escepticismo y la gravedad institucional del estamento matemático.
El comunicado recalcó que el proceso de evaluación está diseñado deliberadamente para no apresurarse. Según el reglamento del CMI, toda propuesta de solución debe publicarse primero en una revista matemática de reconocido prestigio con revisión por pares; los informes en webs corporativas o los borradores en arXiv quedan totalmente excluidos. Además, tras la publicación oficial deben transcurrir dos años completos antes de que el Instituto Clay convoque al comité asesor que iniciará la evaluación formal. Con este calendario, incluso si la revisión por pares no encontrase el menor obstáculo, el trabajo no sería apto para optar al premio antes de 2029.
Esta postura institucional coincide con una creciente inquietud en la disciplina. Tras la carta abierta firmada por 25 medallistas Fields y difundida por Terence Tao, la controversia ha trascendido los detalles técnicos de Navier-Stokes. El núcleo del debate ya no es si una demostración concreta es exacta, sino quién está legitimado para formular los problemas matemáticos y quién posee la autoridad para certificar la verdad en la era del cómputo industrial. La IA ha desarmado en cinco días uno de los desafíos más impenetrables de la física matemática, pero la potestad de adjudicar el premio sigue salvaguardada en los pausados procesos deliberativos humanos. Esta brecha temporal es un mecanismo de defensa deliberado de la comunidad académica: las verdades inferidas por máquinas deben aguardar a que la comprensión humana esté a la altura de asimilarlas.
Enlaces de referencia:
- OpenAI On the Navier–Stokes Millennium Prize Problem
- Clay Mathematics Institute Announcement
- Tristan Buckmaster Public Statement
- Hacker News Discussion
- 25 Fields Medalists Open Letter
