El Problema del Milenio: la IA también cabalga a hombros de gigantes

El 8 de septiembre, OpenAI anunció un avance relacionado con el Problema del Milenio de Navier-Stokes, centrado en si ciertas ecuaciones que describen el movimiento de fluidos pueden “romperse” en algún escenario. La demostración presentada busca que la ruptura ocurra al aplicar una fuerza externa, calculada a propósito, bajo una condición de regularidad (sin cambios bruscos) para que no se atribuya el fallo al golpe. El artículo aclara que esto no equivale a demostrar que las ecuaciones se rompan por sí solas, que es el núcleo que muchos matemáticos consideran el problema real. La verificación se apoya en Lean. La prueba previa, cercana en tiempo, fue elaborada por un profesor de NYU con herramientas de OpenAI, sin confirmarse impacto externo.