¿LA IA RESOLVIÓ NAVIER-STOKES?

En este octavo episodio de Sobre Hombros de Gigantes, hablamos de un acontecimiento que puede marcar un antes y un después en la relación entre inteligencia artificial y matemáticas. Las ecuaciones de Navier-Stokes describen el movimiento de los fluidos y están presentes en problemas tan diversos como la aerodinámica, la meteorología y el estudio del flujo sanguíneo. Su problema de existencia y regularidad forma parte de los siete Problemas del Milenio del Clay Mathematics Institute. En septiembre de 2026, OpenAI anunció que un sistema interno de IA había producido una demostración relacionada con este problema y la acompañó de una formalización en Lean. La afirmación generó un enorme interés en la comunidad matemática y también preguntas sobre qué significa realmente que una IA haya “resuelto” un problema de esta magnitud. En este episodio nos detenemos en qué es Navier-Stokes, qué se habría demostrado, qué papel tuvo la inteligencia artificial y qué queda todavía por verificar. Sin humo. Sin exageraciones. Una mirada a un acontecimiento extraordinario de la ciencia y a lo que realmente significa. 🔬 Sobre Hombros de Gigantes Ciencia · Tecnología · Futuro 📻 Brava FM 91.5 🌐 bravafm.com