Del ascensor al vórtice: por qué la ecuación de Navier-Stokes se atascó y lo que afirma OpenAI

El vídeo abre con la segunda ley de Newton, la relación compacta F=ma que la mayoría de nosotros vio por última vez en un aula, y la conecta con la afirmación de OpenAI sobre el problema de regularidad de Navier-Stokes. Un ejemplo resuelto de ascensor lleva la intuición: una cabina de 1.000 kg bajo una gravedad de 9,8 m/s2 siente una tracción de unos 9.800 N, así que el cable debe igualarla, y 1.000 N adicionales aceleran toda la cabina a 1 m/s2.

Esa aritmética sigue siendo fácil porque un cuerpo sólido se mueve como una sola pieza, y dos puntos cualesquiera de la cabina comparten la misma aceleración. Los fluidos rechazan esa comodidad, ya que parcelas vecinas de agua pueden ir en direcciones distintas, a velocidades y aceleraciones distintas, al mismo tiempo. Cada una de esas diferencias locales tiene que representarse en las matemáticas, y ahí empieza el problema.

Aplicar la ley de Newton a un fluido produce la ecuación de Navier-Stokes, ensamblada gradualmente por muchos contribuyentes a lo largo de la historia. Un lado de la relación reúne las fuerzas sobre una pequeña región de fluido, incluidas la presión, la viscosidad y, normalmente, la gravedad. El otro lado registra cómo responde el fluido a esas fuerzas mediante su aceleración y su densidad.

Una manguera de jardín hace concreto el lado de las fuerzas: el agua cerca del grifo está a mayor presión que el agua que sale de la boquilla, así que una diferencia de presión empuja el flujo hacia adelante. La viscosidad frena por fricción la capa pegada a la pared de la manguera mientras la corriente central corre más rápido. La gravedad u otras fuerzas impuestas pueden inclinar aún más el equilibrio, y la ecuación suma todas.

La aceleración en un fluido se divide en dos canales que conviene separar. Abrir el grifo cambia la velocidad en un punto fijo con el tiempo, mientras que un embudo acelera el agua simplemente porque el canal se estrecha aguas abajo. La densidad completa el cuadro al registrar cuánta masa hay en un volumen dado, la razón por la que el agua salada y el agua dulce se comportan de manera distinta.

La ecuación se gana su lugar: durante unos dos siglos ha guiado el diseño de tuberías, la previsión meteorológica y el modelado de corrientes oceánicas con un éxito ingenieril genuino. Sin embargo, nunca se demostró que las matemáticas se mantengan bien comportadas bajo todas las condiciones legítimas, y esa brecha es la famosa pregunta del millón de dólares. O una prueba muestra que las soluciones suaves siempre persisten en tres dimensiones, o un contraejemplo muestra que las ecuaciones pueden estallar en una singularidad.

OpenAI afirma la segunda vía, presentando una configuración donde las ecuaciones se rompen, hallada con unos 10.000 agentes trabajando juntos y 130.000 millones de tokens gastados. Si la verificación independiente sostiene esa afirmación, sería un hito, y insinuaría cómo será el trabajo matemático de frontera cuando una orquestación masiva de agentes se sume al esfuerzo.

El presunto contraejemplo se representa como un remolino en espiral: el fluido gira alrededor de una línea central mientras es atraído hacia dentro y estirado hacia arriba al mismo tiempo. El pariente cotidiano más cercano es un tornado, aunque la configuración es mucho más extraña que cualquier cosa observada habitualmente. La formulación del Milenio exige exactamente esta severidad: cubrir todo estado inicial tridimensional válido o exhibir un colapso en tiempo finito.

Para ver por qué investigadores rivales gritan foul, el vídeo rebobina hasta Euler, cuya antigua ecuación de flujo omite la viscosidad. Tristan Buckmaster y Levent Alpoege, de Anthropic, pasaron cerca de un año buscando allí un mecanismo de explosión, apoyándose en trabajos previos, y anunciaron una solución forzada. Forzada significa que un empuje externo añadido ayudó a desencadenar el colapso, así que el resultado fue un avance y no una prueba terminada, con la viscosidad todavía sin contar.

OpenAI avanzó luego rápido por el mismo camino: una explosión de Euler no forzada en unas 50 horas con 100 agentes, seguida de un caso completo de Navier-Stokes en aproximadamente 88 horas. La disputa se volvió personal cuando, según los informes, se ofreció a Buckmaster crédito compartido a condición de que el nombre de Alpoege quedara fuera, y cuando aparecieron registros de mensajes junto con desmentidos. La acusación más grave, negada repetidamente por OpenAI, es que la inspiración se tomó de historiales de chat de investigadores dentro de Codex. El vídeo cierra sobre la inquietud más profunda: quién puede hacer descubrimientos cuando 10.000 agentes exigen el presupuesto de un laboratorio de frontera, y los reglamentos de los premios, escritos para personas, no tienen línea para autores máquina.