Le equazioni di Navier-Stokes sono equazioni differenziali parziali che descrivono come si muovono i fluidi viscosi incomprimibili. Vengono usate per modellare velocità, pressione e forze in flussi come aria, acqua e liquido refrigerante. In matematica sono famose perché alcune domande fondamentali sul loro comportamento in tre dimensioni sono ancora oggetto di studio approfondito, soprattutto se le soluzioni regolari possano sempre rimanere regolari.
Nel campo della sicurezza informatica, il termine è importante perché i modelli dei fluidi spesso alimentano strumenti di ingegneria e simulazione usati in aerei, server, droni e sistemi industriali. Gli aggressori possono sfruttare un’eccessiva fiducia in risultati generati dall’AI o basati su simulazioni presentando affermazioni convincenti ma non verificate, mentre i difensori hanno bisogno di calcolo riproducibile, revisione tra pari e controlli formali prima di agire su di essi. Quando un modello è sbagliato, le decisioni sul raffreddamento, sul posizionamento dei sensori, sulla diffusione di aerosol o sulla resilienza fisica possono essere fuorviate. La lezione principale è che un risultato matematico non costituisce una prova di sicurezza finché non viene verificato.