OpenAI anuncia que ha resuelto el problema de Navier-Stokes... y entonces empieza el drama
OpenAI afirmó que su equipo de investigación había encontrado una solución al problema de Navier-Stokes, uno de los problemas matemáticos sin resolver más famosos. The New York Times y Wired informaron de ello primero; después, la empresa habló de los resultados en una publicación de su propio blog el martes.
El problema de Navier-Stokes describe el movimiento de líquidos y gases. Su formulación está relacionada con ecuaciones que se utilizan para analizar flujos: desde el movimiento del aire y el agua hasta procesos más complejos de la física y la ingeniería. La principal intriga matemática no consiste en obtener un cálculo concreto, sino en demostrar rigurosamente que existe una solución suave de las ecuaciones y que no «se rompe», por ejemplo, haciendo aparecer valores infinitos en un tiempo finito.
Este problema forma parte de la lista de los siete «Problemas del Milenio», elaborada por el Clay Mathematics Institute. Se ofrece un premio de un millón de dólares por demostrar cada uno. La mayoría de los problemas de la lista siguen sin resolverse, así que el anuncio de OpenAI acaparó enseguida toda la atención.
Según la empresa, para el trabajo se utilizó un modelo interno de inteligencia artificial cuyas capacidades superan las de GPT-6 Astra, presentada hace poco. OpenAI también afirmó que empleó 10 000 agentes trabajando en paralelo. En este caso, por «agentes» se entienden procesos independientes o copias del modelo capaces de buscar soluciones al mismo tiempo, comprobar hipótesis y comparar pasos matemáticos.
El entrenamiento del modelo interno, según OpenAI, comenzó el 28 de agosto. La empresa afirmó que el sistema mostró capacidades «sin precedentes», pero el material citado se interrumpe ahí y no incluye una descripción completa de los resultados, la demostración ni una verificación independiente.
Y aquí empieza la parte principal de la historia. En matemáticas, anunciar que se ha encontrado una solución aún no equivale a demostrarla. Para obtener el premio y lograr que se reconozca el resultado, los especialistas deben comprobar el texto riguroso de la demostración, descartar errores y asegurarse de que la IA no haya pasado por alto alguna hipótesis implícita. Dicho de otro modo, aunque miles de ayudantes digitales lleguen a la misma conclusión a la vez, las matemáticas seguirán exigiendo que se muestre cada paso, sin aplausos, niebla publicitaria ni fe ciega.
En el momento de publicar este artículo, lo único que se desprende de la información disponible es que OpenAI ha anunciado el hallazgo. Que el problema de Navier-Stokes esté definitivamente resuelto, que el resultado cumpla los requisitos del premio y que matemáticos independientes lo respalden aún requiere confirmación adicional.
PEREC.RU
OpenAI ha anunciado una posible solución al problema de Navier-Stokes, uno de los siete «Problemas del Milenio» en los que los matemáticos llevan décadas trabajando. El problema trata de ecuaciones que describen el movimiento de líquidos y gases. Para resolverlo definitivamente, hay que demostrar rigurosamente que las ecuaciones tienen una solución suave válida y que no generan «explosiones» matemáticas en un tiempo finito.
La empresa asegura que utilizó un modelo interno de inteligencia artificial superior a GPT-6 Astra, presentada hace poco, así como 10 000 agentes que trabajaban en paralelo. Al parecer, el entrenamiento del modelo empezó el 28 de agosto. OpenAI comunicó que el sistema había mostrado capacidades «sin precedentes». The New York Times y Wired difundieron primero la noticia; después, la empresa publicó un mensaje en su propio blog.
Cada uno de los siete problemas tiene asociado un premio de un millón de dólares. Pero una recompensa cuantiosa no convierte un anuncio en una demostración. Para que se reconozca el resultado, matemáticos independientes deben recibir el texto completo de la solución, comprobar cada paso y determinar que no contiene errores, hipótesis sin demostrar ni experimentos numéricos que suplanten una demostración rigurosa.
El material proporcionado no incluye la demostración completa, una descripción detallada del algoritmo ni una evaluación independiente: el texto se interrumpe tras mencionar las capacidades «sin precedentes» del modelo. Por tanto, la conclusión correcta por ahora se limita a esto: OpenAI ha anunciado que ha encontrado una solución al problema de Navier-Stokes. Aún está por determinar si el resultado queda confirmado, cumple las reglas del premio y tiene valor científico. La historia es relevante para el desarrollo de la IA y la automatización de la investigación matemática, pero también muestra la distancia entre un anuncio rimbombante y un descubrimiento científico verificado.
