OpenAI publica solución IA al problema de Navier-Stokes

OpenAI ha publicado lo que afirma ser una solución generada por IA al Problema del Milenio de Navier-Stokes, una de las preguntas sin respuesta más conocidas en física y matemáticas. El problema, que estudia el comportamiento de los flujos de fluidos, lleva décadas desafiando a los investigadores y tiene un premio de un millón de dólares del Clay Mathematics Institute para quien presente una solución correcta. El anuncio incluye un informe técnico detallado y una prueba formal verificada con Lean, una herramienta que comprueba el razonamiento matemático paso a paso. Según OpenAI, la solución fue desarrollada por un modelo de IA diseñado para explorar espacios matemáticos complejos y generar pruebas candidatas. Si se confirma, sería un logro histórico para la inteligencia artificial en el descubrimiento científico. Demostraría que la IA no solo puede ayudar a los investigadores humanos, sino también resolver de forma independiente problemas que han resistido los enfoques tradicionales. El uso de Lean añade rigor, ya que la prueba se ha comprobado mecánicamente, reduciendo el riesgo de error humano. Sin embargo, la afirmación ya ha generado controversia. Varios académicos han planteado dudas sobre los métodos utilizados, la interpretación del enunciado del problema y si la prueba aborda realmente todos los aspectos del desafío original. Algunos piden una verificación independiente, mientras que otros muestran escepticismo sobre la validez del resultado. El problema de Navier-Stokes pregunta si las soluciones siempre existen y son suaves bajo ciertas condiciones, una cuestión con profundas implicaciones para la dinámica de fluidos y la ingeniería. Una solución verificada no solo zanjaría un debate centenario, sino que abriría nuevas vías para la modelización computacional. Por ahora, la comunidad científica está dividida. OpenAI ha hecho públicos sus materiales, invitando al escrutinio y la colaboración. Queda por ver si la solución resiste la revisión por pares, pero la mera posibilidad marca un nuevo capítulo en el papel de la IA en la investigación fundamental.