OpenAI dice haber resuelto con IA uno de los Problemas del Milenio. El 8 de septiembre de 2026, la compañía anunció una demostración sobre Navier–Stokes, las ecuaciones que utilizamos para describir cómo se mueven los fluidos. Afirma haber construido un movimiento que empieza sin irregularidades y acaba desarrollando una singularidad: velocidades que crecen sin límite en un tiempo finito.
Si la prueba se confirma, sería un avance enorme en una cuestión que lleva décadas abierta. El anuncio ha llegado acompañado de una disputa con los matemáticos Tristan Buckmaster y Levent Alpöge sobre prioridad, autoría y datos de investigación. Pero incluso dejando a un lado esa polémica, hay una razón matemática para no dar el asunto por cerrado.
La construcción utiliza una fuerza externa. Y demostrar que un fluido puede perder regularidad con esa intervención no decide, por sí solo, si puede hacerlo sin ella.
El detalle importa porque el enunciado del premio permite esa vía. Podríamos tener una solución al Problema del Milenio y seguir sin responder a una de las preguntas más naturales sobre las ecuaciones.
El anuncio de OpenAI enlaza un manuscrito y una formalización en Lean, un asistente para comprobar demostraciones. Aquí examinamos el alcance de lo que se afirma; no presentamos el anuncio ni la existencia de una formalización como sustitutos de la revisión matemática independiente.
Qué significa que un fluido pierda regularidad
El agua que circula por una tubería y el aire que rodea un avión son ejemplos de movimientos que estudiamos con Navier–Stokes. Llevamos usando estas ecuaciones desde hace más de un siglo. Su utilidad no exige conocer de antemano todo lo que pueden hacer en cualquier situación imaginable.
El problema de Clay estudia una versión concreta: un fluido incompresible, con viscosidad positiva y en tres dimensiones. Incompresible significa que cada pequeña porción conserva su volumen mientras se desplaza. Puede deformarse y girar, pero no comprimirse.
Partimos de un campo de velocidades suave, sin saltos ni singularidades iniciales. Sabemos seguir la solución al menos durante un intervalo de tiempo. La pregunta es si podemos continuar así indefinidamente o si la propia evolución puede llevarnos a una ruptura de esa suavidad. A esto se lo llama blow-up.
No estamos buscando una fórmula para calcular cualquier movimiento del agua. Estamos preguntando si la descripción matemática suave puede dejar de existir en un tiempo finito.
Dentro de las ecuaciones conviven dos tendencias. La viscosidad suaviza las diferencias de velocidad y disipa energía. La dinámica no lineal permite que el movimiento reorganice su propia estructura; en tres dimensiones, el estiramiento de los vórtices puede intensificar la rotación y generar escalas menores.
La imagen intuitiva es una competición entre suavizado y concentración. Decir que la viscosidad suaviza no demuestra que siempre gane. Tampoco controlar la energía total basta para controlar lo que sucede en una región cada vez más pequeña. Esa distancia entre el control global y el comportamiento local está en el centro de la explicación de Terence Tao sobre la dificultad del problema.
El enunciado de Clay tiene una asimetría importante
El enunciado oficial de Charles Fefferman ofrece cuatro alternativas. Se organizan en dos tipos de resultado y dos escenarios espaciales:
| Resultado | Espacio completo | Espacio periódico | Fuerza externa |
|---|---|---|---|
| Existencia de soluciones suaves para todo tiempo | A | B | Se fija en cero |
| Ruptura de la existencia global exigida | C | D | Se permite, con condiciones precisas |
El espacio periódico puede imaginarse como una caja cuyo patrón se repite en todas las direcciones. Permite estudiar la dinámica sin introducir paredes.
Lo decisivo está en la última columna. Para la vía de regularidad, hay que demostrar que todos los datos iniciales admitidos producen soluciones suaves para siempre sin fuerza externa. Para la vía de ruptura, se permite construir un contraejemplo con fuerza externa.
Por tanto, esas dos vías no son una afirmación y su negación exacta. La negación de «todos los flujos sin fuerza permanecen suaves» sería encontrar un flujo sin fuerza que dejara de serlo. Permitir una intervención amplía la clase de movimientos donde podemos buscar el contraejemplo.
Una prueba con fuerza externa no refutaría, por sí sola, la regularidad universal del caso sin fuerzas. Para conectar ambos resultados haría falta otro argumento. Esa es la posible insatisfacción: el enunciado del premio y la pregunta que nos hacemos sobre el fluido tienen alcances distintos.
Por qué introducir una fuerza no hace trivial el resultado
La objeción es razonable: si podemos intervenir sobre el fluido, ¿no estamos provocando artificialmente la ruptura?
Estamos eligiendo una intervención, pero no podemos introducir de contrabando la singularidad. No valdría aplicar una fuerza que se hiciera infinita y después señalar que la velocidad también explota.
«Suave» tampoco resume todas las condiciones de Clay. En el espacio completo, la fuerza y sus derivadas deben decaer rápidamente en el espacio y en el tiempo; en el escenario periódico hay periodicidad espacial y condiciones de decaimiento temporal. La fuerza tiene que cumplir las hipótesis incluso al atravesar el supuesto instante de ruptura.
El teorema principal del manuscrito de OpenAI afirma algo concreto: para cualquier viscosidad positiva, construye una evolución que parte del reposo, mantiene acotada su energía cinética y desarrolla velocidades sin límite. La fuerza es suave y tiene soporte compacto en el espacio y el tiempo: solo actúa en una región y durante un periodo limitados.
La introducción describe un vórtice que se concentra y acelera. El reto consiste en equilibrar los términos de la ecuación para que, aunque algunos crezcan sin límite, su combinación deje una fuerza regular. Las correcciones oscilatorias de la construcción buscan cancelar las partes singulares que de otro modo aparecerían en esa fuerza.
Esa es una descripción del argumento presentado, no una validación de sus pasos. Pero permite entender por qué permitir una fuerza no convierte el problema en un ejercicio sencillo: la dificultad está en mantenerla regular mientras el movimiento deja de serlo.
La pregunta que queda cuando escribimos f = 0
Una vez entendido el papel de la intervención, el siguiente paso parece inmediato: quitarla.
En la ecuación solo supone escribir f = 0. En la demostración puede cambiarlo todo. La fuerza es parte de la construcción; borrarla no conserva automáticamente el comportamiento que habíamos conseguido.
La pregunta pasa a ser si el movimiento inicial, evolucionando bajo Navier–Stokes sin ninguna fuerza externa, puede generar por sí solo una singularidad. Un contraejemplo que necesite esa fuerza no lo decide.
También hay que tomar en serio la otra posibilidad: que el caso sin fuerzas tenga una protección que no se mantenga al permitir intervenciones. Un resultado de ruptura forzada, considerado aisladamente, no descarta ese escenario.
Nada de esto haría pequeño el avance. Mostrar que una clase de evoluciones admite singularidades cambiaría lo que sabemos sobre las ecuaciones. Pero el siguiente descubrimiento no vendría de repetir que el problema está resuelto, sino de entender qué parte del mecanismo depende de la fuerza y si se puede prescindir de ella.
Una singularidad posible no describe todos los fluidos
Demostrar que existe un caso no dice con qué frecuencia ocurre. Una construcción puede depender de condiciones extraordinariamente precisas. Tal vez pequeñas perturbaciones destruyan el mecanismo; tal vez una familia amplia de movimientos lo conserve. La existencia, por sí sola, no permite elegir entre ambas posibilidades.
Tampoco implica que el agua real alcance una velocidad infinita. Navier–Stokes es un modelo continuo. Trasladar una construcción a una afirmación física exige comprobar si sus hipótesis siguen siendo adecuadas a las escalas implicadas.
Hay otra distinción útil: perder suavidad no significa quedarse sin toda descripción matemática. Las soluciones débiles expresan las ecuaciones mediante relaciones integrales y admiten menos regularidad. Bajo las condiciones apropiadas, la teoría iniciada por Leray permite disponer de soluciones débiles globales.
La ruptura de una solución suave no elimina esa teoría. Abre preguntas sobre cómo continuar, qué condiciones de energía se conservan y qué unicidad puede establecerse en la clase de soluciones elegida. No todas las nociones de solución débil ofrecen las mismas garantías.
Qué se discute con los matemáticos
La noticia tiene, además, una historia humana que no conviene borrar. En su declaración pública, Buckmaster presenta su colaboración con Alpöge como personal, aunque este trabaja en Anthropic, y atribuye la idea de partida a Diego Córdoba y Luis Martínez-Zoroa.
Denuncia que Sébastien Bubeck pidió excluir a Alpöge de una propuesta de autoría y relata comentarios sobre las consecuencias para su carrera de hacer pública la disputa. Son afirmaciones de Buckmaster sobre conversaciones privadas. También plantea si sus sesiones de Codex pudieron alimentar el entrenamiento, pero aclara que desconoce si sus datos se utilizaron.
OpenAI reconoce que los rumores sobre esos avances motivaron su iniciativa. Niega haber accedido al trabajo antes de su publicación, aunque no descarta que datos desidentificados del uso de sus productos ayudaran a mejorar los modelos. Sostiene que las pruebas difieren y reconoce la prioridad de los investigadores en Euler forzado. Esa es la posición de la compañía.
Las respuestas dejan cuestiones por esclarecer. La duda sobre el entrenamiento no demuestra apropiación de resultados; la explicación del proceso técnico tampoco resuelve por sí sola las denuncias sobre autoría. La cronología, la procedencia de las ideas y las condiciones propuestas a los autores necesitan evidencias propias.
La tensión se extiende más allá de este caso: un investigador puede trabajar con las herramientas de una empresa que también compite por producir avances en su campo. Una prueba correcta no zanjaría esa cuestión de confianza. Una conducta cuestionable, si se acreditara, tampoco refutaría por sí sola el argumento matemático.
Resolver también debería ayudarnos a entender
Los avances no aparecen de la nada. En su explicación del 7 de septiembre, Tao sitúa los trabajos de Alpöge y Buckmaster en una línea previa de Córdoba y Martínez-Zoroa. Los resultados que comenta pertenecen a otras ecuaciones de fluidos: medios porosos incompresibles, Boussinesq y Euler. Euler prescinde de la viscosidad; un avance allí no resuelve automáticamente Navier–Stokes.
Entender qué se transmite entre esas ecuaciones es parte del valor científico de las pruebas. También lo es averiguar qué papel desempeñan las fuerzas, qué singularidades son estables y qué ocurre después de perder la suavidad.
La aceptación del resultado tiene su propio proceso. Las reglas de Clay exigen, antes de considerar una propuesta, publicación en un medio que cumpla sus criterios, al menos dos años desde esa publicación y aceptación general de la comunidad matemática. Ese procedimiento es distinto de examinar hoy si el argumento es correcto.
Si la demostración se confirma, habremos aprendido algo profundo: las condiciones admitidas en la construcción no bastan para proteger al fluido de una singularidad. La pregunta siguiente será qué produce esa ruptura y cuánto depende de la intervención externa.
Resolver el problema fija una conclusión. Comprender la demostración debería permitirnos explicar por qué ocurre y hasta dónde llega. Ahí empieza el trabajo que ningún titular de «Navier–Stokes resuelto» puede dar por terminado.
Fuentes
- OpenAI: anuncio y respuesta sobre el trabajo concurrente, 8 de septiembre de 2026.
- OpenAI: manuscrito «Finite time blowup for Navier–Stokes».
- OpenAI: repositorio de formalizaciones en Lean.
- Charles Fefferman / Clay: enunciado oficial, con erratas.
- Clay: reglas de los Problemas del Milenio.
- Tristan Buckmaster: declaración sobre los resultados y las conversaciones con OpenAI.
- Terence Tao: dificultad de la regularidad global de Navier–Stokes.
- Terence Tao: avances con fuerza suave en ecuaciones relacionadas, 7 de septiembre de 2026.
