OpenAI resolvió el problema de Navier-Stokes de 1 millón de dólares en 88 horas mientras la carrera de IA de un billón de dólares se calienta

La IA acaba de resolver una de las preguntas abiertas más difíciles de las matemáticas, y el momento se presenta como un triunfo y una advertencia. El breve informe del WSJ traza un año de progreso acelerado de la IA en matemáticas que superó las expectativas; en 2000, un medallista Fields calificó los siete problemas del Milenio como muy por encima de las capacidades de las computadoras, y hace un año los pronosticadores estimaron la probabilidad de resolver cualquiera de ellos para 2030 en cerca del 20%. Ahora OpenAI dice que ha publicado una solución. Un medallista Fields entrevistado en el video es muy optimista, mientras que otros doce laureados de primer nivel se preocupan de que la obsesión corporativa por resolver problemas pueda erosionar el propósito de las matemáticas, y el mismo ciclo de noticias revivió los temores sobre el control, con conversaciones sobre la desaceleración del desarrollo y preguntas sobre si la IA podría amenazar a la humanidad.

Una ecuación centenaria: por qué Navier-Stokes es importante

Las ecuaciones de Navier-Stokes, arraigadas en el trabajo del siglo XIX de Claude-Louis Navier y George Gabriel Stokes, describen el movimiento de fluidos desde el aire sobre un ala hasta las corrientes oceánicas. En 1934, Jean Leray demostró la existencia en un sentido generalizado, pero si las soluciones permanecían suaves siguió sin resolverse durante unos noventa años. En 2000, el Clay Mathematics Institute convirtió la suavidad y la existencia en un Problema del Premio del Milenio con una recompensa de 1 millón de dólares; solo uno de los siete se había resuelto. La afirmación de OpenAI es que se puede formar una singularidad en tiempo finito: un flujo que comienza suave y en reposo puede, bajo una fuerza suave de energía finita, girar en un vórtice que se encoge y acelera como estirar espaguetis, impulsando una velocidad ilimitada en un punto mientras la fuerza externa permanece suave y la energía permanece finita, resolviendo las declaraciones C y D en la formulación oficial.

La compañía describe una línea de producción inusual detrás del resultado. Después de escuchar un rumor el 1 de septiembre de que se habían resuelto dos problemas del Milenio, trasladó agentes a Navier-Stokes, ejecutando primero unos 100 agentes durante aproximadamente 50 horas en el problema de Euler relacionado, luego escalando a unos 10.000 agentes autónomos en el Navier-Stokes completo. Los agentes lograron una prueba el sábado 5 de septiembre, unas 88 horas después del lanzamiento, con la formalización Lean tomando otras 17 horas a través de GPT-6 Astra. Se intercambiaron casi cinco millones de mensajes, y se dijo que el cálculo fue impulsado por un modelo interno significativamente más capaz que GPT-6 Astra. Quanta cita un costo de varios millones de dólares, mientras que New Scientist, citando la conferencia de prensa, sitúa un precio equivalente al cliente cerca de los 15 millones de dólares; la BBC corrobora la escala de 10.000 agentes y 88 horas.

La economía: 1 millón de dólares de premio frente a 15 millones de dólares en computación

Desde una perspectiva económica, la aritmética es sorprendente. El premio Clay es de 1 millón de dólares, el gasto reportado es hasta quince veces mayor, y OpenAI dice que no tiene la intención de reclamar el premio. La recompensa no es el dinero, sino la carrera de un billón de dólares por la infraestructura de IA y el liderazgo de modelos. Con las tasas de interés aún altas, el capital es caro, sin embargo, los laboratorios líderes están comprometiendo billones en valoración implícita a centros de datos, chips y talento, y una prueba matemática insignia se valora como un pago inicial por la supremacía percibida. El WSJ enmarca el gasto en millones, y el hecho de que los anuncios rivales llegaran en cuestión de horas normaliza la tasa de consumo; el premio simbólico se ve empequeñecido por la señal del mercado de que el próximo modelo de vanguardia está al alcance.

La prioridad y la competencia están entrelazadas con esa economía. Quanta y New Scientist señalan que horas antes del anuncio de OpenAI, Tristan Buckmaster de NYU y Levent Alpoge de Anthropic anunciaron avances en el Euler forzado, descritos como peldaños hacia Navier-Stokes, y que OpenAI reconoce que el rumor aceleró su esfuerzo. OpenAI cede la prioridad en el Euler forzado mientras afirma que su prueba de Navier-Stokes es distinta y no se basó en sus indicaciones o texto. La declaración de Buckmaster deja abierta la cuestión de si los agentes pudieron haberse beneficiado indirectamente del trabajo realizado con los modelos de OpenAI. Cuando ser el primero se valora en billones de dólares, la prioridad científica y la ventaja financiera del primer movimiento se vuelven difíciles de separar.

Cumbre, miedo y llamadas a la desaceleración

El video se amplía de la prueba a la cultura y la seguridad. El mismo día que apareció la solución, un investigador de Anthropic publicó en X que estima la probabilidad de extinción humana en la próxima década por encima del 10%, y otro investigador de Anthropic renunció por seguridad, diciendo que los constructores creen en privado que la tecnología podría acabar con todos. Para el fin de semana, los líderes de cuatro de las mayores empresas de IA acordaron que el desarrollo debería ralentizarse. OpenAI, por su parte, organizó una cumbre para matemáticos en sus oficinas de San Francisco partiendo de una premisa compartida: la IA pronto superará a los humanos en matemáticas. Los asistentes debatieron qué problemas priorizar, qué enseñar y qué significa este cambio para la próxima generación de matemáticos, enmarcando el avance como un reconocimiento institucional de que la forma en que se produce el conocimiento está cambiando.

La verificación será deliberadamente lenta. El presidente de Clay, Martin Bridson, dijo que la evaluación sería sin prisas y absolutamente rigurosa, aunque la formalización Lean da una confianza temprana. La única solución del Milenio anterior tardó años de arbitraje antes de ser aceptada. Mientras los matemáticos revisan el argumento, los mercados seguirán valorando la supremacía matemática en billones de dólares, las universidades revisarán los planes de estudio y las grandes inversiones financiadas en un entorno de altas tasas se justificarán con hitos como este. OpenAI ya ha señalado que está cerca de un segundo problema del Milenio, lo que sugiere que el pipeline que gastó 15 millones de dólares en 88 horas se está recargando en lugar de pausarse.