IA y las ecuaciones de Navier-Stokes (19/09/2026)

En este capítulo, analizamos la solución presentada por OpenAI al problema de existencia y regularidad de las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio. Miles de agentes de inteligencia artificial han trabajado en paralelo para construir una demostración que muestra que estas ecuaciones pueden desarrollar singularidades. El resultado abre además un debate sobre autoría, comprensión y el papel de la IA en el futuro de las matemáticas. Nos lo cuenta Javier Gómez-Serrano, profesor de Matemáticas en la Universidad de Brown y especialista en dinámica de fluidos e inteligencia artificial aplicada a la investigación matemática.