OpenAI anunció el 8 de septiembre que un modelo interno todavía no lanzado produjo una solución al problema de existencia y suavidad de las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio establecidos por el Clay Mathematics Institute. La compañía publicó tanto una demostración escrita como una formalización en Lean. :contentReference[oaicite:5]{index=5}
Las ecuaciones de Navier-Stokes describen el comportamiento de fluidos como el agua y el aire. La cuestión matemática pendiente era determinar si, a partir de condiciones iniciales suaves, esas ecuaciones mantienen siempre soluciones regulares o pueden desarrollar singularidades en un tiempo finito.
Según OpenAI, su demostración muestra precisamente que pueden desarrollarse singularidades en tiempo finito. La empresa sostiene que el resultado fue generado por un sistema interno y posteriormente formalizado para verificar cada paso de la prueba. :contentReference[oaicite:6]{index=6}
Hasta 10 mil agentes trabajando durante 88 horas
El esfuerzo computacional fue extraordinario. El sistema comenzó trabajando con alrededor de un centenar de agentes y, después de detectar avances prometedores, OpenAI concentró recursos sobre el problema de Navier-Stokes hasta desplegar hasta 10 mil agentes en paralelo.
El proceso demandó aproximadamente 88 horas y consumió recursos informáticos valuados en millones de dólares, de acuerdo con la información publicada sobre el proyecto. :contentReference[oaicite:7]{index=7}
OpenAI explicó que el trabajo comenzó el 1 de septiembre, luego de que dentro de la compañía circularan rumores sobre avances de investigadores relacionados con Anthropic. El proyecto completo y su verificación formal quedaron terminados el 6 de septiembre, según la propia empresa. :contentReference[oaicite:8]{index=8}
La compañía aseguró que no tiene intención de reclamar el premio de USD 1 millón previsto para cada Problema del Milenio resuelto. Su objetivo, señaló, es mostrar el avance alcanzado por sus modelos de inteligencia artificial. :contentReference[oaicite:9]{index=9}
Una disputa por la prioridad científica
El anuncio, sin embargo, quedó rápidamente atravesado por una controversia. El matemático Tristan Buckmaster, profesor de la Universidad de Nueva York, venía trabajando junto con Levent Alpöge, investigador vinculado a Anthropic, sobre una estrategia relacionada con el mismo campo.
Ambos investigadores habían utilizado distintos modelos de inteligencia artificial en su trabajo, entre ellos herramientas de Anthropic y Codex, de OpenAI. Buckmaster expresó posteriormente dudas sobre si esas interacciones pudieron haber influido de alguna forma en el modelo interno de OpenAI. :contentReference[oaicite:10]{index=10}
OpenAI rechazó haber accedido específicamente al trabajo privado de los investigadores y afirmó que ni sus científicos ni sus agentes vieron esos materiales antes de que fueran publicados.
La compañía, no obstante, incluyó una aclaración clave: “Aunque es improbable, no podemos descartar que datos desidentificados derivados de su uso de nuestros productos hayan ayudado a mejorar nuestros modelos.” :contentReference[oaicite:11]{index=11}
Buckmaster, por su parte, también reconoció límites en sus acusaciones y no afirmó tener pruebas de que OpenAI hubiese utilizado directamente sus datos para construir la demostración.
Las versiones también difieren respecto de las conversaciones mantenidas entre los investigadores y OpenAI antes de la publicación. La compañía sostiene que ofreció coordinar una presentación conjunta y reconocer la prioridad de los avances previos de Buckmaster y Alpöge, mientras que los investigadores cuestionaron cómo se desarrollaron esas negociaciones. :contentReference[oaicite:12]{index=12}
Un problema científico que ahora también es empresarial
La controversia amplió una discusión que excede a Navier-Stokes: qué ocurre con la autoría, la prioridad científica y los datos cuando investigadores utilizan modelos comerciales como parte habitual de su trabajo.
En este caso, los científicos emplearon sistemas pertenecientes a las mismas empresas que compiten por demostrar quién posee los modelos más capaces. Ese cruce volvió especialmente sensible cualquier posibilidad de que información derivada de las interacciones de los usuarios termine contribuyendo al entrenamiento de versiones posteriores.
OpenAI reconoce la prioridad de Buckmaster y Alpöge sobre su trabajo relacionado con el problema de Euler forzado y sostiene que su propia solución de Navier-Stokes fue obtenida de manera independiente. :contentReference[oaicite:13]{index=13}
El resultado anunciado por la compañía todavía enfrenta el proceso de revisión y escrutinio habitual de la comunidad matemática antes de que pueda considerarse definitivamente establecido. La magnitud del anuncio, sin embargo, ya abrió otro debate: hasta qué punto las herramientas de inteligencia artificial dejaron de ser simples asistentes de investigación para convertirse también en competidores directos de quienes las utilizan.
