OpenAI afirma haber solucionado un enigma matemático de hace 90 años, aunque surge una polémica

• La compañía OpenAI ha anunciado que ha logrado resolver las ecuaciones de Navier-Stokes, un complejo problema sobre el movimiento de los fluidos que ha permanecido sin respuesta durante casi un siglo. Según la empresa, este hito ha sido posible gracias a un modelo de inteligencia artificial avanzado, que superaría las capacidades de GPT-6 Astra, aunque no han especificado el nombre de dicha herramienta.
• Sin embargo, el anuncio no ha estado exento de controversia, ya que un investigador sospecha que la IA podría haber utilizado borradores privados de Codex para llegar a la solución.

OpenAI asegura haber resuelto uno de esos problemas matemáticos que llevan décadas resistiéndose a los investigadores. Hablamos de Navier–Stokes, un desafío relacionado con el movimiento de los fluidos que OpenAI dice haber resuelto y atribuye a una Inteligencia Artificial superior a la recién aterrizada GPT-6 Astra, aunque no han desvelado dicho modelo en concreto.

Un anuncio enorme, qué duda cabe, pero que llega acompañado de una polémica igualmente importante: un matemático que trabajaba en este campo sospecha que sus borradores privados en Codex pudieron alimentar el avance.

OpenAI se atribuye el haber resuelto el problema matemático Navier-Stokes

Antes de entrar en semejante asunto, toca explicar qué se ha resuelto, porque se ha tardado nada más y nada menos que 90 años. Las ecuaciones de Navier–Stokes describen cómo se mueven fluidos como el agua o el aire, y se utilizan para estudiar fenómenos meteorológicos o diseñar aviones. El problema pendiente consiste en determinar si, en tres dimensiones, un movimiento inicialmente suave puede desarrollar una singularidad, perdiendo esa regularidad.

¿Por qué ha costado tanto? Porque el movimiento del fluido puede intensificarse mediante sus propias interacciones, mientras la viscosidad tiende a suavizarlo, y demostrar rigurosamente qué sucede exige bastante más que ejecutar una simulación. Que una ecuación funcione en millones de cálculos prácticos no demuestra que sus soluciones permanezcan “suaves” en todas las condiciones contempladas.

La demostración publicada por OpenAI construye un fluido que parte del reposo y recibe una fuerza externa suave, por lo tanto, su velocidad crece sin límite en un tiempo finito, aunque la energía cinética permanece acotada. Es decir, el resultado identifica una situación donde el modelo matemático desarrolla una singularidad. No significa que el agua real pueda moverse infinitamente rápido, ni que ahora haya que tirar a la basura décadas de ingeniería.

Una capacidad de cómputo increíble

https://twitter.com/i/birdwatch/n/2097463973587321010

Para encontrarlo, OpenAI afirma haber empleado unos 10.000 agentes simultáneos durante 88 horas, con aproximadamente 130.000 millones de tokens de salida. GPT-6 Astra habría dedicado otras 17 horas a formalizar y verificar la demostración en Lean. La publicación permite examinar el resultado, aunque anunciarlo no equivale automáticamente a su aceptación independiente.

Y aquí llega lo realmente delicado. Tristan Buckmaster, que investigaba junto a Levent Alpöge, había introducido sus borradores en Codex. Según recoge, preguntó a OpenAI si el modelo había accedido a aquellas sesiones o se había entrenado con ellas. Recibió una negativa sobre la consulta de datos, pero inicialmente no una respuesta sobre el entrenamiento, y ahí está toda la controversia, puesto que son dos cuestiones distintas, y contestar una no resuelve la otra.

OpenAI niega que sus investigadores o agentes vieran aquel trabajo antes de su publicación. Sin embargo, no descarta que datos desidentificados derivados del uso de sus productos contribuyeran a mejorar sus modelos. También sostiene que las demostraciones difieren y distingue el trabajo de ambos matemáticos sobre Euler con fuerza externa de sus propios resultados.

Por tanto, no hay pruebas públicas suficientes para afirmar que OpenAI robó esos borradores, pero su respuesta tampoco despeja completamente qué contribución pudieron tener esos datos. Porque una cosa es utilizar una herramienta como una IA para investigar y otra descubrir que no queda aclarado si tu trabajo ayudó a entrenar al sistema que ahora reclama el protagonismo.

Por lo tanto, ahora OpenAI debe demostrar que el haber resuelto el problema matemático Navier-Stokes fue cosa de su nueva IA, y que esta no fue entrenada con lo que tenían ya trabajado los investigadores que reclaman la autoría.