Nivel: ⭐⭐ Curioso
OpenAI asegura que su inteligencia artificial ha resuelto el problema de Navier-Stokes, uno de los siete Problemas del Milenio que el Instituto Clay premió con un millón de dólares (unos 900.000 euros) y que llevaba cerca de dos siglos sin demostración aceptada. La empresa lo anunció como un hito histórico: un modelo interno, más potente que su GPT-6 Astra, trabajó 88 horas con unos 10.000 agentes coordinados y millones de dólares en cómputo. Lo que ha generado titulares en todo el mundo no es solo el anuncio, sino lo que vino después: la acusación de plagio de dos matemáticos humanos y el hecho de que nadie, absolutamente nadie, haya verificado todavía la prueba.
Lo que ha anunciado OpenAI
El problema de Navier-Stokes pregunta si las ecuaciones que describen el movimiento de los fluidos (el agua de un río, el aire alrededor de un ala de avión, la sangre en una arteria) pueden dejar de funcionar en algún momento. Parece una curiosidad teórica, pero su demostración o refutación está considerada una de las fronteras de las matemáticas aplicadas. Los Problemas del Milenio son siete retos que el Instituto Clay planteó en el año 2000 con un millón de dólares por cada uno; en 26 años solo ha caído uno (la conjetura de Poincaré, demostrada por Grigori Perelman, que rechazó el premio). Navier-Stokes es el más físico de todos: saber si sus ecuaciones tienen siempre solución con datos suaves es la puerta a entender turbulencias que hoy se simulan a ojo.
OpenAI afirma que su modelo ha demostrado que esas ecuaciones sí pueden fallar bajo ciertas condiciones, y que lo ha hecho generando un documento analítico de 165 páginas que después tradujo a Lean, un lenguaje formal que permite verificar pruebas con un ordenador. La empresa reconoce que empezó a atacar el problema el 1 de septiembre, después de oír un rumor sobre la resolución de otro Problema del Milenio por parte de otro laboratorio: la carrera entre laboratorios también se juega en las matemáticas puras.
Para que se entienda: la empresa dice haber resuelto, con 88 horas de computación, lo que los matemáticos llevan décadas intentando demostrar a mano.
El detalle que lo cambia todo: nadie lo ha firmado
Aquí es donde la historia deja de ser un prodigio y se convierte en una lección. La comunidad matemática no ha verificado la prueba: eso lleva meses, no horas. Mientras tanto, dos matemáticos, Tristan Buckmaster (Universidad de Nueva York) y Levent Alpöge (que trabaja en Anthropic), habían publicado apenas el lunes avances importantes sobre el mismo frente de trabajo, y acusan a OpenAI de haberse aprovechado de su trabajo. La empresa lo niega, pero reconoce algo incómodo: no puede descartar que los datos anonimizados de las sesiones que esos investigadores hicieron con Codex, su propia herramienta de IA, acabaran mejorando el modelo.
Buckmaster ha contado además que rechazó la propuesta de publicar el resultado dejando a Alpöge fuera de la autoría, precisamente por trabajar en la empresa rival. El premio, por cierto, OpenAI dice que no lo reclamará. Un gesto que no cambia el titular que ya se ha llevado.
El espejo del agricultor
Hace unos días hablábamos del agricultor que confió en una herramienta de IA y perdió su cosecha por no comprobar los datos que le dio. La historia de Navier-Stokes es la misma, a escala planetaria: OpenAI no te pide que verifiques nada, te pide que confíes en su palabra. Y la diferencia entre confiar y verificar es exactamente la que separa una cosecha perdida de una prueba aceptada.
Lo que importa no es lo que la IA dice haber conseguido, sino quién lo revisa, quién lo firma y con qué intereses. Un agricultor con una mala recomendación pierde una cosecha; una empresa tecnológica con un anuncio sin verificar se lleva el titular mundial igualmente.
Tres preguntas que hacerle a tu IA antes de fiarte
La próxima vez que una herramienta de IA te dé un dato, un informe o una recomendación, pregúntale tres cosas:
- ¿De dónde ha salido esto? Pide la fuente, no una respuesta.
- ¿Quién lo ha verificado? Si la respuesta es «nadie todavía», trátalo como una hipótesis, no como un hecho.
- ¿Qué interés tiene quien te lo cuenta? Una empresa que anuncia su propio hito no es un verificador independiente.
Son las mismas preguntas que tendrá que responder la comunidad matemática antes de que nadie pueda hablar de «problema resuelto».
La letra pequeña de la demostración
Seamos justos con la otra parte. La acusación de plagio no está probada: OpenAI asegura que sus investigadores y agentes no vieron el trabajo privado de Buckmaster y Alpöge antes de que se hiciera público, y no hay pruebas de lo contrario. Que la empresa admita que «no puede descartar» que datos anonimizados de Codex contribuyeran a mejorar el modelo es una declaración de transparencia, no una confesión. Y el trabajo de estos dos matemáticos continuaba una línea abierta por investigadores españoles (Diego Córdoba y Luis Martínez-Zoroa), así que la autoría de un resultado así siempre es difusa.
El problema no es que OpenAI haya usado el trabajo de otros: eso es práctica científica normal. El problema es el envoltorio: 88 horas de cómputo y millones de dólares suenan a prodigio, pero son la versión industrial de «quemar electricidad». La IA no piensa como piensa un matemático; explora a una escala que ningún humano puede igualar, y eso es exactamente lo que nadie ha comprobado todavía. Y la renuncia al premio, dicho sea de paso, es gratis: el Instituto Clay no paga a quien lo anuncia en un blog, paga a quien lo publica con revisión independiente. El titular, mientras tanto, ya está servido.
Un problema de dos siglos no se firma con 88 horas de cómputo: se firma con meses de revisión independiente. Y lo mismo vale para el informe que te acaba de entregar tu herramienta de IA. La diferencia es que tú no tienes un comité de matemáticos revisando tu factura: tienes que ser tú. Aquí tienes cómo hacerlo sin perder la cosecha por el camino.
Imagen: retrato de George Gabriel Stokes (1819-1903), físico y matemático que da nombre al problema de Navier-Stokes. Fuente: Wikimedia Commons (dominio público).