Navier-Stokes

Les équations Navier-Stokes décrivent la manière dont les liquides et les gaz s’écoulent, depuis l’eau dans un tuyau jusqu’à l’enroulement autour d’un avion. Les ingénieurs les utilisent quotidiennement pour simuler la météo, les avions et la circulation sanguine.

La fameuse question ouverte est mathématique : personne n’a prouvé que les équations ont toujours des solutions fluides et bien comportées en trois dimensions. Il y a un prix d’un million de dollars pour le régler, c’est pourquoi toute preuve revendiquée assistée par l’IA fait l’objet d’un examen minutieux.