OpenAI ha anunciado que su modelo interno ha resuelto el problema de Navier-Stokes —nada menos que uno de los siete problemas del milenio.
Y ahora mismo se está armando un escándalo enorme en torno a todo esto. En resumen, la cosa va así:
-
OpenAI afirma que su IA interna construyó una demostración de la formación de una singularidad en tiempo finito para las ecuaciones de Navier-Stokes con una fuerza externa suave. Han publicado un preprint de 166 páginas y una formalización en Lean.
-
Al mismo tiempo, los matemáticos Tristan Buckmaster y Levent Alpöge (que trabaja en Anthropic 🙂) llevaban cerca de un año desarrollando un enfoque similar con ayuda de Claude y Codex. Importante: no publicaron una solución al problema de Navier-Stokes, sino tres resultados relacionados, entre ellos una demostración para las ecuaciones de Euler tridimensionales con una fuerza externa suave y su formalización en Lean.
-
Según la declaración detallada de Buckmaster, OpenAI inició su propio intento después de enterarse por rumores del trabajo que estaban realizando. Buckmaster preguntó si el modelo podría haberse entrenado con sus sesiones de Codex, en las que habían subido borradores. Según él, no recibió una respuesta directa sobre el entrenamiento.
-
En esa misma declaración, Buckmaster escribe que Sébastien Bubeck propuso dos veces retirar a Alpöge de la lista de autores debido a su trabajo en Anthropic. Cuando Buckmaster se negó y dijo que lo contaría públicamente, asegura que le respondieron: «¿Para qué quiere arruinar su carrera?».
-
OpenAI, por su parte, afirma que no vio el trabajo de los matemáticos antes de su publicación y que no accedió a datos concretos de usuarios. Aun así, la empresa no descarta que datos anonimizados procedentes del uso de sus productos pudieran haber influido en el entrenamiento de los modelos.
Si justo ahora estás a punto de resolver otro de los problemas del milenio, será mejor que no subas la solución a OpenAI, no vaya a ser que mañana Sam Altman anuncie otro gran avance matemático de GPT.
Fuentes originales
- Anuncio de OpenAI, preprint de la demostración y repositorio de Lean
- Enunciado oficial del problema de Navier-Stokes del Clay Mathematics Institute
- Declaración de Tristan Buckmaster y publicación original del anuncio
- Preprint de Buckmaster y Alpöge sobre las ecuaciones de Euler y formalización en Lean de sus resultados
- Imagen de cabecera: calle de vórtices de von Kármán frente a la isla Alejandro Selkirk, NASA / Wikimedia Commons, dominio público
