Ingenieros advierten que la prueba de Navier-Stokes de OpenAI no cambiará la dinámica de fluidos

El 8 de septiembre, OpenAI anunció que un sistema de IA interno no publicado había producido una prueba de que las ecuaciones de Navier-Stokes en tres dimensiones pueden desarrollar una singularidad en tiempo finito, resolviendo potencialmente uno de los seis Problemas del Milenio restantes planteados por el Clay Mathematics Institute en el año 2000. La empresa publicó un documento de 166 páginas y una verificación formal en el asistente de pruebas Lean, aunque el resultado aún espera una revisión independiente por parte de expertos.OpenAI+3

Qué afirma la prueba

Las ecuaciones de Navier-Stokes, que describen el movimiento de fluidos como el aire y el agua, se han utilizado durante casi dos siglos en aplicaciones que van desde el diseño de aeronaves hasta la predicción meteorológica. La antigua cuestión matemática era si las soluciones suaves de estas ecuaciones pueden colapsar, produciendo velocidades infinitas físicamente imposibles.scientificamerican+1

OpenAI dice que su sistema construyó un escenario en el que un fluido que comienza en reposo, sometido a una fuerza externa suave, forma un vórtice que gira hacia adentro y desarrolla una velocidad ilimitada en un tiempo finito, manteniendo una energía finita. "Nuestra prueba muestra que existen fluidos que comienzan perfectamente normales y, bajo las ecuaciones de Navier-Stokes, alcanzan una velocidad infinita en un tiempo finito", dijo el científico informático de OpenAI Ven Chandrasekaran en una rueda de prensa, según informó Nature. La empresa declaró que no tiene intención de reclamar el premio de 1 millón de dólares.nature+3

El esfuerzo computacional involucró aproximadamente a 10,000 agentes de IA concurrentes ejecutándose en un modelo descrito como más capaz que GPT-6 Astra. Los agentes llegaron al resultado después de aproximadamente 88 horas de trabajo comenzando el 1 de septiembre, con 17 horas adicionales para la formalización en Lean.thebrighterside+1

Una disputa de prioridad

El anuncio provocó una disputa sobre la prioridad matemática. El matemático de la NYU Tristan Buckmaster y el investigador de Anthropic Levent Alpöge habían estado progresando en problemas de explosión estrechamente relacionados utilizando herramientas de IA, incluido Codex de OpenAI. En una declaración pública, Buckmaster escribió: "No he visto la prueba de OpenAI. No sé qué hizo su modelo ni cómo. No sé si se utilizaron nuestros datos. No estoy acusando a nadie de nada". The New York Times informó que OpenAI dijo que era "categóricamente" imposible que su sistema hubiera sido influenciado por el trabajo reciente de Buckmaster.nytimes+2

Las implicaciones en el mundo real siguen siendo lejanas

Los ingenieros dicen que el resultado, si se confirma, cambia poco a corto plazo. "En resumen, no mucho", dijo Justin Beroz, director ejecutivo de la firma de ingeniería ReynKo, sobre el efecto en el trabajo práctico de dinámica de fluidos. El profesor asistente de la NYU, Florian Schaefer, señaló que ya se entiende que las ecuaciones son una aproximación y que el escenario de singularidad construido es demasiado artificial para afectar las aplicaciones del mundo real.scientificamerican

El ganador de la Medalla Fields, Terence Tao, planteó preocupaciones más amplias sobre el ritmo del descubrimiento matemático impulsado por la IA. "Es un poco como ir a ver una película y saltar directamente de los primeros diez minutos a los últimos diez minutos", dijo Tao a The Brighter Side of News. "Técnicamente, todas las tramas están resueltas, pero se perdió la mayor parte del valor de la experiencia". El Clay Mathematics Institute sigue incluyendo a Navier-Stokes entre sus problemas no resueltos, y la aceptación formal de la prueba sigue siendo una cuestión abierta.popularai+1