Il problema di Navier-Stokes è una famosa questione matematica aperta sulle equazioni che descrivono il moto dei fluidi. In termini semplici, chiede se queste equazioni abbiano sempre soluzioni regolari e ben comportate in tre dimensioni, oppure se certi input possano causare una rottura nella matematica. Poiché i fluidi modellano l'aria, l'acqua e molti sistemi fisici, il problema si colloca al centro della matematica applicata e del calcolo scientifico.
Nella sicurezza informatica, il termine conta meno per la dinamica dei fluidi che per ciò che rappresenta: un risultato che deve essere verificato, non solo generato. I sistemi di IA all'avanguardia possono produrre codice, dimostrazioni o analisi che sembrano convincenti, ma un lavoro ad alta affidabilità richiede verifica formale, riproducibilità e revisione indipendente. Gli aggressori possono sfruttare i team che accettano troppo rapidamente un output generato dalla macchina, mentre i difensori usano assistenti di dimostrazione, suite di test e tracce di audit per convalidare le affermazioni prima di agire. Il problema di Navier-Stokes è un utile promemoria del fatto che la credibilità deriva dalla verifica.