Navier-Stokes

Las ecuaciones Navier-Stokes describen cómo fluyen los líquidos y los gases, desde el agua en una tubería hasta el viento alrededor de un avión. Los ingenieros los utilizan todos los días para simular el clima, los aviones y el flujo sanguíneo.

La famosa pregunta abierta es matemática: nadie ha demostrado que las ecuaciones siempre tengan soluciones suaves y de buen comportamiento en tres dimensiones. Hay un premio de un millón de dólares por resolverlo, razón por la cual cualquier prueba asistida por IA es objeto de un intenso escrutinio.