OpenAI afirma haber resuelto el problema de Navier-Stokes, pero una polémica por datos y autoría sacude el histórico avance
El problema de Navier-Stokes busca determinar si las ecuaciones que describen el movimiento de fluidos en tres dimensiones pueden desarrollar una singularidad en un tiempo finito o si sus soluciones permanecen siempre suaves. Estas ecuaciones son fundamentales para estudiar fenómenos relacionados con el movimiento del agua y el aire y tienen aplicaciones en áreas como la aerodinámica, el clima y el flujo sanguíneo.
El 8 de septiembre, OpenAI anunció que un sistema interno de inteligencia artificial había producido una demostración analítica y una formalización en Lean que, según la compañía, demuestra que un fluido inicialmente suave puede desarrollar una singularidad en un tiempo finito. La empresa sostiene que este resultado resuelve el problema de existencia y suavidad de Navier-Stokes.
Para llegar al resultado, OpenAI afirma haber utilizado alrededor de 10.000 agentes de inteligencia artificial que trabajaron de manera coordinada durante aproximadamente 88 horas. El sistema generó una prueba que luego fue formalizada en Lean, un lenguaje utilizado para verificar matemáticamente demostraciones.
¿Por qué el anuncio de OpenAI generó polémica?
El supuesto avance científico rápidamente quedó acompañado de una disputa sobre autoría, datos y prioridad científica. Tristan Buckmaster, matemático de la Universidad de Nueva York, y Levent Alpöge, investigador vinculado a Anthropic, venían trabajando en problemas relacionados con dinámica de fluidos utilizando herramientas de inteligencia artificial.
Buckmaster sostuvo que su equipo había logrado avances importantes antes del anuncio de OpenAI y planteó dudas sobre si información introducida en Codex, una herramienta de OpenAI que utilizaron durante su investigación, pudo haber tenido alguna influencia. El matemático, sin embargo, ha aclarado que no sabe qué hizo exactamente el sistema de OpenAI y que no está acusando directamente a la compañía de haber utilizado sus datos.
La controversia también alcanzó las conversaciones entre los investigadores. Según el relato de Buckmaster, OpenAI propuso coordinar la publicación de los resultados, pero surgieron diferencias sobre el reconocimiento de los investigadores y sobre la participación de Alpöge, quien trabaja para Anthropic, una de las principales competidoras de OpenAI. OpenAI rechazó las acusaciones de apropiación de trabajo y afirmó que sus investigadores no vieron los datos específicos del equipo antes de que fueran publicados.
OpenAI niega haber utilizado los datos de los matemáticos
OpenAI sostiene que no accedió a datos específicos de los usuarios para resolver el problema de Navier-Stokes. No obstante, la compañía reconoció que no puede descartar completamente que datos desidentificados derivados del uso de sus productos hayan contribuido indirectamente a mejorar sus modelos.
La compañía también asegura que su demostración y el trabajo desarrollado por Buckmaster y Alpöge son significativamente diferentes. De acuerdo con OpenAI, incluso el problema específico abordado por los investigadores en el caso relacionado con las ecuaciones de Euler no es idéntico al resultado obtenido por su sistema.
El caso abrió una discusión que va más allá de una demostración matemática: ¿qué ocurre cuando un investigador utiliza inteligencia artificial para desarrollar una idea inédita y posteriormente una empresa de IA presenta un resultado relacionado? La controversia pone sobre la mesa cuestiones de privacidad, propiedad intelectual, reconocimiento académico y transparencia en el uso de datos para entrenar modelos.
¿OpenAI ya resolvió oficialmente el problema de Navier-Stokes?
Aunque OpenAI afirma haber resuelto el problema de Navier-Stokes, el resultado todavía debe superar el proceso de validación de la comunidad matemática.
El Clay Mathematics Institute establece que una solución a uno de sus Problemas del Milenio debe ser publicada en una publicación calificadora, permanecer publicada durante al menos dos años y alcanzar una aceptación general dentro de la comunidad matemática antes de que el instituto pueda considerarla oficialmente.
Por eso, el anuncio de OpenAI representa un resultado científico extraordinario que está pendiente de revisión y validación independiente, no un premio matemático ya concedido. La propia compañía señaló que no pretende reclamar el millón de dólares asociado al problema.
El conflicto detrás del avance de OpenAI
La disputa por el problema de Navier-Stokes refleja uno de los grandes debates que acompañarán el desarrollo de la inteligencia artificial científica: determinar hasta dónde llega la capacidad de una IA para producir conocimiento nuevo y cómo deben reconocerse las ideas humanas que sirven como punto de partida.
El caso también enfrenta a dos grandes protagonistas de la carrera por la inteligencia artificial, OpenAI y Anthropic, y plantea interrogantes sobre la protección de investigaciones inéditas cuando científicos utilizan herramientas de IA para desarrollar sus trabajos.
Mientras OpenAI defiende la independencia de su resultado, matemáticos y expertos piden mayor transparencia sobre cómo los modelos utilizan información y cómo debe establecerse la autoría cuando una inteligencia artificial participa en descubrimientos científicos.
