El Instituto Clay se pronuncia sobre el hallazgo de Navier-Stokes de OpenAI

OpenAI anunció el 8 de septiembre que un modelo interno no publicado de IA, tras desplegar unos 10.000 agentes autónomos durante 88 horas, había elaborado una demostración de que las ecuaciones tridimensionales de Navier-Stokes pueden desarrollar una singularidad en tiempo finito, un resultado que, de ser validado, resolvería uno de los seis Problemas del Milenio pendientes formulados por el Instituto Clay de Matemáticas en el año 2000. El anuncio se ha visto empañado por una creciente disputa con el matemático de la NYU Tristan Buckmaster y el investigador de Anthropic Levent Alpöge sobre los créditos de la investigación y el posible uso de datos privados.nature+2

Un supuesto avance en la dinámica de fluidos

Las ecuaciones de Navier-Stokes describen cómo se mueven los fluidos como el agua y el aire, y la pregunta de si sus soluciones siempre mantienen un comportamiento regular o pueden explotar, generando velocidades infinitas físicamente imposibles, ha permanecido abierta durante décadas. OpenAI afirmó que su demostración prueba que un fluido inicialmente regular en reposo puede desarrollar dicha singularidad bajo una fuerza externa regular, habiendo verificado el resultado con Lean, un lenguaje formal de demostración de teoremas. El esfuerzo costó millones de dólares en capacidad de cómputo, según ejecutivos de OpenAI en una rueda de prensa.axios+3

Scientific American S&P Global Inc. ↗ 0.07% informó que la verificación en Lean casi garantiza la corrección de la prueba, aunque la comunidad matemática en general aún debe completar la revisión por pares. El Instituto Clay de Matemáticas declaró el 11 de septiembre que comparte el entusiasmo a medida que el resultado es analizado e interrogado, sin llegar a proclamar resuelto el problema.scientificamerican+1

La disputa por los créditos

El logro se produjo entre acusaciones de Buckmaster de que OpenAI aceleró su trabajo tras enterarse de investigaciones relacionadas que él y Alpöge estaban llevando a cabo, en parte utilizando la herramienta Codex de OpenAI. Buckmaster y Alpöge publicaron sus propios resultados el 7 de septiembre, mostrando una explosión en tiempo finito para ecuaciones de fluidos relacionadas pero simplificadas. Según lo informado por TechRepublic, Buckmaster alega que OpenAI le ofreció la autoría exclusiva de su solución para Navier-Stokes con la condición de retirar el nombre de Alpöge, una afirmación negada por el investigador de OpenAI Sébastien Bubeck.techrepublic+3

OpenAI declaró que sus investigadores y agentes no vieron nada de su trabajo por ningún medio hasta que lo hicieron público y que no se accedió a ningún dato específico de usuario para resolver este problema. Sin embargo, la compañía reconoció que no puede descartar que datos desidentificados derivados del uso de sus productos hayan ayudado a mejorar sus modelos. Buckmaster calificó públicamente el relato de Bubeck de totalmente falso, y Bubeck posteriormente ofreció disculpas por un comentario hecho durante sus conversaciones, según The Next Web.thenextweb+4

Repercusiones más amplias

La disputa ha tenido repercusiones en toda la comunidad matemática. Una carta abierta firmada por destacados matemáticos criticó a las empresas de IA por apresurarse a resolver problemas famosos sin la debida atribución. El ganador de la Medalla Fields, Deng Yu, bromeó en las redes sociales diciendo que si la IA resuelve todos los problemas matemáticos, me iré a casa a escribir mi novela yuri, al tiempo que advirtió que la IA ha creado un ambiente de inquietud e impaciencia en los círculos matemáticos. La respuesta formal del Instituto Clay de Matemáticas elogió de forma destacada el potencial para una nueva comprensión humana, pero no hizo mención alguna a la elegibilidad para el premio.thenews+1