Resumen del debate: AI resuelve problema milenio (+ culebron científico)

OpenAI afirma haber resuelto el problema de Navier-Stokes​

OpenAI ha anunciado que ha resuelto uno de los problemas del milenio, el de Navier-Stokes, con un modelo de próxima generación más potente que GPT-6 Astra. El anuncio, publicado en su cuenta oficial, celebra una demostración de 165 páginas producida por un grupo de agentes. La euforia, sin embargo, dura poco: la comunidad ya se pregunta si el resultado es un hito o un robo.

La controversia apunta a una presunta apropiación de información. Según lo que circula, OpenAI habría visto los avances de un matemático que colaboraba con un amigo en Anthropic y los habría usado como datos de entrenamiento. Un equipo habría trabajado a pico-pala durante una semana con ese material para rematar la prueba. Las cuchillas vuelan sobre la autoría y la moralidad de la jugada.

Qué es el problema de Navier-Stokes​

Navier-Stokes es el sistema de ecuaciones que describe el movimiento de fluidos. El reto del milenio es demostrar si sus soluciones en 3D pueden alcanzar singularidades: es decir, si partiendo de condiciones normales la velocidad del fluido puede volverse infinita. La demostración, de 165 páginas, concluye que es matemáticamente posible, aunque el escenario no se da en la realidad. Según expertos, estas condiciones de «blow up» son cuasiimposibles, entre otras cosas porque ningún fluido puede superar la velocidad de la luz.

Para qué sirve: más teórico que práctico​

Aunque a primera vista pueda parecer que esto revolucionará la aerodinámica o la meteorología, el resultado es puramente teórico. No se espera que ayude en cálculos concretos. De hecho, la demostración resuelve una cuestión de regularidad, no propone una solución aplicable. Mucho más impacto tendría, según los expertos, resolver el problema P-NP, el mayor enigma de la computación teórica. Pero eso es otra historia.

La sombra de la autoría​

La polémica trasciende las matemáticas. Si OpenAI realmente utilizó sesiones de un investigador vinculado a Anthropic, se abre un problema de propiedad intelectual sin precedentes. ¿Quién firma un teorema resuelto por una IA? ¿Puede una máquina ser coautora? ¿Qué valor tienen los datos de entrenamiento cuando el que los genera no sabe que acabarán en un resultado ajeno? Estas preguntas ya no son hipótesis.

La demostración está en revisión. La comunidad científica no ha emitido veredicto. Mientras tanto, el episodio puede marcar el inicio de una era en la que los laboratorios compiten por teoremas, no solo por apps. O quizás, como en tantas otras ocasiones, aparezca un error y todo quede en un susto. La historia de las matemáticas está llena de anuncios que se desinflaron.