1. La pregunta fundamental

Las ecuaciones de Navier–Stokes describen el movimiento de fluidos viscosos como el agua y el aire. No siguen una por una las moléculas. Tratan el fluido como un medio continuo y relacionan su velocidad, presión, viscosidad y fuerzas externas:

En tres dimensiones sabemos construir soluciones débiles globales, es decir, soluciones que satisfacen las ecuaciones en un sentido generalizado. Lo que no sabíamos era si datos iniciales suaves producen siempre soluciones suaves para todo tiempo o si, en determinadas condiciones, la velocidad puede crecer sin límite en un tiempo finito. A ese colapso de regularidad se le llama singularidad o explosión.

La viscosidad tiende a suavizar diferencias de velocidad. La no linealidad, representada por (u · ∇)u, transporta y reorganiza el movimiento. El problema nace de la competencia entre ambos efectos: ¿basta siempre la disipación viscosa para impedir una concentración infinita, o puede la dinámica tridimensional vencerla?

2. Qué exige realmente Clay

Aquí aparece la primera corrección indispensable. El enunciado oficial redactado por Charles Fefferman ofrece cuatro vías. Las alternativas A y B piden probar existencia y suavidad global cuando la fuerza externa es cero, respectivamente en el espacio completo y en el toro tridimensional. Las alternativas C y D permiten refutar esa regularidad global mediante datos iniciales suaves y una fuerza externa también suave, en esos mismos dos dominios.

Por tanto, llamar al forzamiento suave una «laguna» ajena al premio es técnicamente incorrecto. Está escrito en las alternativas C y D. Si la demostración de OpenAI es correcta y satisface exactamente las hipótesis declaradas, resolvería el problema oficial por esas vías.

Pero esto no vuelve equivalentes todos los resultados. Producir una singularidad con una fuerza suave construida especialmente es una afirmación más limitada, desde el punto de vista físico y conceptual, que demostrar una singularidad sin fuerza externa. Resuelve la disyuntiva institucional formulada por Clay, pero no responde la pregunta más fuerte: si la dinámica no forzada puede romperse por sí sola. Ambas afirmaciones pueden sostenerse simultáneamente, sin trucos verbales.

El forzamiento externo no invalida formalmente el resultado; sí delimita con precisión aquello que el resultado nos enseña sobre los fluidos.

3. Qué afirma haber demostrado OpenAI

El artículo de OpenAI construye, para cualquier viscosidad positiva, una velocidad y una presión suaves hasta un tiempo crítico, junto con una fuerza f(x,t) suave y de soporte compacto. El fluido parte del reposo. Al aproximarse el tiempo t = 1, la norma máxima de la velocidad crece sin límite, aunque la energía cinética total permanece uniformemente acotada.

La imagen intuitiva es la de un vórtice que gira, se alarga y se concentra alrededor de una región cada vez más pequeña. La velocidad puede aumentar indefinidamente sin que la energía total explote porque el volumen ocupado por el movimiento extremo se contrae con suficiente rapidez. Una analogía imperfecta, pero útil, es concentrar una cantidad cada vez mayor de intensidad en un espacio cada vez menor.

No basta con dibujar un flujo singular y definir después una fuerza infinita que lo sostenga. Eso sería trivial e inadmisible. La dificultad consiste en lograr que aceleración, presión, transporte no lineal y viscosidad desarrollen términos grandes que se cancelen con enorme precisión, dejando como residuo una fuerza externa perfectamente suave. El artículo introduce pulsos oscilatorios cuyo transporte interno de momento corrige las partes singulares de ese residuo.

4. Cómo trabajaron los agentes

Según OpenAI, el 1 de septiembre puso a trabajar grupos de agentes sobre las distintas alternativas de varios Problemas del Milenio. Los agentes podían consultar una copia almacenada de internet, ejecutar código, dividirse en grupos y comunicar resultados. Cerca de cien agentes habrían producido primero una solución para Euler no forzado. A partir de ella, la empresa concentró los recursos en Navier–Stokes.

El grupo decisivo llegó a involucrar del orden de 10.000 agentes simultáneos. OpenAI informa que el resultado apareció después de unas 88 horas; la formalización y verificación en Lean tomó 17 horas adicionales mediante GPT-6 Astra. Para Navier–Stokes se habrían intercambiado 2,7 millones de mensajes y generado aproximadamente 130.000 millones de tokens.

Estos números no prueban comprensión ni la niegan. Describen una nueva organización material del trabajo intelectual: búsqueda paralela masiva, selección de rutas, circulación de resultados parciales, consolidación automática y verificación formal. Reducir esto a «mera fuerza bruta» oculta la arquitectura de coordinación; presentarlo como una conciencia matemática autónoma oculta el andamiaje humano, bibliográfico y computacional que hizo posible la búsqueda.

5. La genealogía matemática

La ruta no surgió en el vacío. Buckmaster atribuye la idea básica del programa a Diego Córdoba y Luis Martínez-Zoroa, quienes llevaban años estudiando explosiones forzadas y mecanismos de amplificación entre escalas. Su trabajo había mostrado cómo capas de vorticidad cada vez más concentradas podían amplificarse mientras se controlaba la regularidad de la fuerza.

Buckmaster y Alpöge tomaron ese programa como punto de partida. Con ayuda intensa de Claude y Codex, afirman haber llevado construcciones con forzamiento menos regular hasta el forzamiento suave para medios porosos incompresibles, Boussinesq y Euler tridimensional incompresible. Según su comunicado, obtuvieron los resultados de Boussinesq y Euler el 15 de agosto y verificaron en Lean la primera prueba generada por un modelo el 22 de agosto.

La contribución anunciada por OpenAI sería distinta y posterior: una construcción para Navier–Stokes viscoso. Aun si se hubiera obtenido de forma independiente, su significado histórico no puede narrarse como si 10.000 agentes hubieran encontrado, desde una hoja en blanco, tanto el problema como la estrategia. En matemáticas, la demostración final es solamente una parte del descubrimiento. Reconocer qué simplificación atacar, qué literatura importa y qué mecanismo puede sobrevivir a nuevas restricciones constituye trabajo intelectual real.

6. Cronología de la disputa

La proximidad temporal alimenta la controversia. Buckmaster afirma que casi nadie trabajaba en esa ruta y que el énfasis repentino en el problema forzado fue para él una señal de alarma. OpenAI responde que distribuyó agentes entre las cuatro alternativas oficiales, obtuvo primero un resultado no forzado para Euler y solo entonces identificó Navier–Stokes como la dirección más prometedora.

7. Lo probado y lo controvertido

La discusión pública mezcla documentos verificables, relatos incompatibles e inferencias. Conviene separarlos.

El propio Buckmaster traza el límite: no ha visto cómo trabajó el modelo, no sabe si sus datos fueron usados y no formula esa acusación como un hecho probado. Su propósito declarado es registrar qué le dijeron, cuándo se lo dijeron y qué arreglos le propusieron. Esa cautela no elimina las preguntas; impide responderlas mediante una condena sin evidencia.

La frase de OpenAI sobre datos desidentificados tampoco demuestra una transmisión causal desde esos borradores hasta la prueba. Sí revela una insuficiencia de gobernanza: para un investigador que deposita trabajo inédito en una herramienta, la imposibilidad de descartar influencia agregada puede ser científicamente inaceptable, aunque el tratamiento cumpla las condiciones contractuales del servicio.

8. Qué verifica Lean y qué no verifica

Lean es un asistente de demostración. Una prueba formalizada se descompone en pasos que un núcleo pequeño verifica contra reglas lógicas precisas. Esto reduce drásticamente la posibilidad de que sobreviva un salto algebraico, una hipótesis olvidada o una inferencia inválida. En un manuscrito de más de cien páginas, esa garantía es extraordinariamente valiosa.

Pero Lean no responde por sí solo cuatro preguntas distintas:

1. Correspondencia: que el teorema formalizado represente exactamente la afirmación matemática informal que se anuncia.
2. Interpretación: qué significado físico tiene la construcción y cuánto depende de una fuerza diseñada.
3. Novedad: qué ideas son nuevas y cuáles provienen de trabajos anteriores.
4. Crédito: quién formuló la ruta, aportó los mecanismos decisivos, dirigió la búsqueda y debe figurar como autor.

Una certificación lógica no sustituye una exposición humana. La comunidad todavía necesita leer el manuscrito, comprobar que la formalización coincide con el teorema pretendido, reconstruir el mecanismo conceptual y situarlo dentro de la literatura. La verificación formal fortalece la evidencia; no agota la práctica científica.

9. El momento Deep Blue–Kaspárov

Buckmaster llama al episodio un «momento Deep Blue–Kaspárov». La comparación no significa que la matemática sea simplemente otro juego con reglas cerradas. Señala un cambio en la división del trabajo: una máquina puede explorar, combinar y verificar a una escala temporal inaccesible para una persona, pero su productividad depende de que el espacio de búsqueda haya sido estructurado por problemas, teorías, bibliotecas formales y estrategias acumuladas históricamente.

En un gran problema, el recurso escaso no siempre es escribir la última línea de la prueba. Puede ser identificar la ruta prometedora después de años de intentos fallidos. Si revelar esa ruta permite movilizar inmediatamente miles de agentes, entonces la selección del problema intermedio correcto adquiere un valor económico y científico enorme.

Cuando demostrar se vuelve masivamente paralelizable, saber qué debe demostrarse puede convertirse en la parte más escasa del descubrimiento.

Esto podría volver más reservada a la matemática abierta. Un seminario, un borrador informal o una consulta en una plataforma dejarían de ser solamente actos de cooperación y podrían transformarse en señales explotables por instituciones con una capacidad computacional incomparable. El peligro no es que la inteligencia artificial participe en la ciencia, sino que la apertura sea unilateral: conocimiento abierto desde abajo y capacidad de apropiación cerrada desde arriba.

10. Una lectura materialista

La controversia no se entiende únicamente como un conflicto moral entre individuos. Expresa una transformación de las fuerzas productivas de la ciencia. Modelos, centros de datos, sistemas multiagente y asistentes de prueba convierten enormes cantidades de trabajo matemático acumulado en una infraestructura capaz de producir nuevas combinaciones a gran velocidad.

Al mismo tiempo, esa fuerza productiva está concentrada bajo propiedad privada. Los investigadores aportan preguntas, borradores, correcciones, usos y conocimiento tácito; la plataforma reúne esas interacciones, mejora modelos cerrados y puede devolver resultados con una escala que ningún grupo académico puede igualar. Aunque no haya existido una apropiación concreta en este caso, la asimetría estructural es real.

Por eso la cuestión decisiva no es si la máquina «pensó de verdad», una disputa metafísica poco fértil. Hay que preguntar quién controló los medios de producción matemática, quién decidió la dirección de la búsqueda, de qué trabajo previo dependió, quién pudo auditar el proceso y cómo se distribuyeron autoría, prestigio y beneficios.

El cómputo no es un pecado epistemológico. Puede constituir una auténtica fuerza de descubrimiento. Pero una fuerza productiva nueva, organizada mediante relaciones opacas de propiedad y crédito, puede ampliar simultáneamente la capacidad humana y la subordinación del trabajo científico.

11. Qué reglas hacen falta

El episodio sugiere un programa mínimo para la investigación asistida por inteligencia artificial:

1. Modo confidencial verificable: los borradores inéditos deben quedar excluidos del entrenamiento y de cualquier recuperación posterior, con garantías auditables y no solamente contractuales.
2. Proveniencia: todo resultado importante debería conservar un registro de modelos, versiones, fuentes consultadas, prompts decisivos, intervención humana y circulación entre agentes.
3. Declaración de cómputo: cantidad de agentes, tokens, tiempo, herramientas y criterios de selección deben tratarse como parte del método.
4. Genealogía conceptual: la atribución debe reconocer no solo la prueba final, sino también el programa previo que volvió visible la ruta.
5. Autoría independiente de la rivalidad empresarial: la afiliación de un investigador no puede ser razón para excluirlo de una contribución científicamente pertinente.
6. Revisión abierta: manuscrito, formalización y correspondencia entre ambos deben permanecer disponibles para examen independiente.
7. Capacidad pública: universidades y consorcios científicos necesitan infraestructura compartida que evite que la matemática de frontera dependa exclusivamente de laboratorios privados.

Estas normas no resolverían cada disputa de prioridad, pero volverían comprobables preguntas que hoy dependen de declaraciones institucionales enfrentadas.

12. Conclusión

¿Resolvió OpenAI Navier–Stokes? La respuesta rigurosa es condicional. El teorema anunciado apunta exactamente a las alternativas C y D del enunciado oficial de Clay. El uso de una fuerza externa suave no es una trampa, aunque deja intacta la cuestión más fuerte del caso no forzado. Si la prueba analítica y su formalización resisten la revisión experta, el logro matemático sería histórico.

Pero el resultado no nació fuera de la historia. Depende de décadas de análisis, de la ruta abierta por Córdoba y Martínez-Zoroa, del trabajo de Buckmaster y Alpöge y de una infraestructura computacional extraordinaria. Tampoco están resueltas las preguntas sobre datos, prioridad y presión institucional. Las alegaciones más graves deben investigarse, no repetirse como hechos ni disolverse mediante relaciones públicas.

La lección más profunda es que la inteligencia artificial no elimina las relaciones sociales de la ciencia. Las vuelve más visibles. Cuanto más poderosa sea la capacidad automática de demostrar, mayor será la importancia de proteger la apertura, registrar la procedencia de las ideas y distribuir justamente el crédito. El futuro de las matemáticas no dependerá solo de lo que las máquinas puedan probar, sino de las instituciones mediante las cuales decidamos qué significa descubrir.

Referencias

Fuentes indicadas

1. Julien Cadot, síntesis pública de la controversia.https://x.com/juliencdt/status/2097582940863471900
2. Mehdi, crítica técnica, epistemológica y política al anuncio.https://x.com/bettercallmedhi/status/2097472336257863722
3. Susan Zhang, reproducción del manuscrito y de la declaración de OpenAI sobre el trabajo concurrente.https://x.com/suchenzang/status/2097376584814432392
4. Tristan Buckmaster, comunicado sobre los resultados y las conversaciones con OpenAI.https://cims.nyu.edu/~tristanb/statement.pdf
5. Jasper, análisis matemático y síntesis de la disputa.https://x.com/zjasper/status/2097547276755619988

Documentos técnicos primarios

6. OpenAI, «On the Navier–Stokes Millennium Prize Problem».https://openai.com/index/navier-stokes-solution/
7. OpenAI, «Finite Time Blowup for Navier–Stokes».Manuscrito analítico
8. Charles L. Fefferman, formulación oficial del Problema del Milenio.Existence and Smoothness of the Navier–Stokes Equation
9. OpenAI, formalización en Lean.https://github.com/openai/NavierStokesAndEuler