OpenAI dice haber resuelto Navier-Stokes y enfrenta acusaciones de plagio

OpenAI anunció este martes que su nuevo modelo de inteligencia artificial habría encontrado una solución al llamado problema de existencia y suavidad de Navier‑Stokes, que figura entre los siete Problemas del Milenio fijados por el Clay Mathematics Institute. Según BBC Mundo, la compañía asegura haberlo logrado en unas 88 horas, al coordinar alrededor de diez mil agentes de IA que trabajaron de forma relativamente autónoma.

Un reto de noventa años

Las ecuaciones de Navier‑Stokes describen el movimiento de cualquier fluido y se utilizan para diseñar aviones y predecir el tiempo. El desafío, planteado hace casi 90 años, pregunta si una solución inicial perfectamente lisa puede, bajo esas mismas ecuaciones, desarrollar una singularidad —un punto donde la velocidad se vuelve infinita— en un tiempo finito. Como explica El País, nadie ha logrado demostrar matemáticamente que esas ecuaciones no acaben generando un punto así. Hasta ahora, ninguna demostración había sido aceptada por la comunidad.

Reacciones de la comunidad matemática

El anuncio tuvo reacciones inmediatas. Martin Bridson, presidente del Instituto de Matemáticas Clay, calificó la jornada de emocionante por el anuncio de avances importantes en la comprensión humana de las matemáticas. Por su parte, Ven Chandrasekaran, informático de OpenAI, sostuvo en rueda de prensa que “nuestra demostración revela que existen fluidos que comienzan siendo perfectamente normales y que, bajo las ecuaciones de Navier‑Stokes, llegan a alcanzar una velocidad infinita en un tiempo finito”.

Acusaciones de plagio y disputa de prioridad

Sin embargo, el anuncio de OpenAI llegó acompañado de acusaciones de plagio. Tristan Buckmaster, que enseña matemáticas en la Universidad de Nueva York, afirmó que él y Levent Alpöge, investigador de Anthropic que participaba a título personal, estaban trabajando en la misma solución usando la herramienta Codex de OpenAI. Buckmaster declaró que el 3 de septiembre descubrió que “la información sobre nuestro progreso se había transmitido a OpenAI”. Además, sostuvo que OpenAI no empezó a trabajar en las ecuaciones hasta que le llegó la información sobre el trabajo de ambos. Según El País, Buckmaster llega a preguntarse si OpenAI pudo acceder a las notas y prompts que ambos introdujeron en Codex. OpenAI, según BBC Mundo, niega haber visto el trabajo de ambos por ningún medio antes de que lo hicieran público, aunque admite que, pese a considerarlo improbable, no puede descartar que datos anonimizados derivados del uso de sus productos hayan contribuido a mejorar sus modelos, y sostiene que las dos pruebas difieren significativamente.

La verificación aún está pendiente

Tanto BBC Mundo como El País coinciden en que la prueba publicada el 8 de septiembre aún no ha sido verificada de forma independiente. El Clay Mathematics Institute, que otorga el premio de un millón de dólares por la solución de cada Problema del Milenio, no ha aceptado oficialmente la demostración y, según la práctica habitual, una revisión exhaustiva puede tardar varios meses.

Implicaciones para la IA y la investigación matemática

Si la solución resultara válida, sería, según El País, el primer problema de este calibre resuelto por una máquina: hasta ahora solo se había resuelto otro Problema del Milenio, la conjetura de Poincaré. OpenAI ha declarado que no pretende reclamar el premio monetario: asegura que su objetivo es informar sobre el progreso de sus modelos. El medallista Fields Terence Tao, citado por El País, se pregunta qué motivo tendrá un investigador para compartir una idea prometedora antes de cerrarla, y pide criterios que reconozcan tanto la idea matemática como el resultado.