Inteligencia artificial de OpenAI anuncia solución a ecuaciones de Navier-Stokes: ¿qué falta para que sea oficial?

El pasado 8 de septiembre, OpenAI reveló que uno de sus sistemas de inteligencia artificial habría encontrado una demostración matemática para resolver las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio establecidos por el Clay Mathematics Institute en el año 2000. Según el anuncio, la IA logró demostrar que una configuración inicialmente suave puede desarrollar una singularidad en un tiempo finito, lo que constituiría una respuesta a este desafío matemático de hace más de dos décadas. Las ecuaciones de Navier-Stokes, formuladas en el siglo XIX, describen cómo se mueven fluidos como el agua y el aire. El gran interrogante que permanece sin resolver es si las soluciones de estas ecuaciones se mantienen regulares o si pueden generar valores sin límite bajo ciertas condiciones. Este problema tiene implicaciones prácticas significativas en aeronáutica, meteorología y medicina, siendo fundamental para comprender la turbulencia y otros fenómenos fluidodinámicos. El Clay Mathematics Institute dotó de siete millones de dólares a estos problemas, ofreciendo un millón para cada uno. Hasta ahora, solo la Conjetura de Poincaré ha sido oficialmente reconocida como resuelta, por el matemático ruso Grigori Perelman. Aunque el anuncio de OpenAI es prometedor, aún debe superar la evaluación rigurosa de la comunidad matemática internacional y cumplir con los criterios del instituto para ser considerada válida. Por el momento, el CMI mantiene a Navier-Stokes en la lista de problemas no resueltos, dejando seis desafíos pendientes en la búsqueda de sus soluciones.