Navier-Stokes

Le equazioni Navier-Stokes descrivono il modo in cui i liquidi e i gas scorrono, dall’acqua in un tubo all’avvolgimento attorno a un aereo. Gli ingegneri li usano ogni giorno per simulare il tempo, gli aerei e il flusso sanguigno.

La famosa domanda aperta è matematica: nessuno ha dimostrato che le equazioni abbiano sempre soluzioni regolari e ben comportate in tre dimensioni. C’è un premio di un milione di dollari per risolvere la questione, motivo per cui qualsiasi prova assistita dall’intelligenza artificiale viene sottoposta a un attento esame.