Equazioni di Navier-Stokes, l’AI le ha davvero risolte?

10/09/2026 ECONOMIA Condividi Preferisci Informazione.News su Google

Redazione Economia   -   Le equazioni di Navier-Stokes avrebbero una soluzione al loro storico problema di esistenza e regolarità: l’8 settembre 2026 OpenAI ha pubblicato una dimostrazione prodotta da un sistema interno di intelligenza artificiale, secondo cui la dinamica dei fluidi descritta dalle equazioni può sviluppare una singolarità in tempo finito. Il risultato è stato ottenuto attraverso circa diecimila agenti informatici autonomi coordinati tra loro e la prova è stata formalizzata con Lean, strumento open source progettato per verificare rigorosamente passaggi matematici e logici. L’annuncio riguarda uno dei problemi più celebri della matematica contemporanea, ma non equivale ancora al riconoscimento ufficiale del relativo Millennium Prize.

Perché la prova dell’intelligenza artificiale non chiude ancora il problema

La questione matematica riguarda il comportamento delle soluzioni tridimensionali delle equazioni che descrivono la dinamica dei fluidi, utilizzate per rappresentare fenomeni che possono riguardare, tra gli altri esempi, acqua, fumo e petrolio. Il problema non consiste semplicemente nel calcolare il movimento di un fluido, ma nello stabilire con una dimostrazione rigorosa se determinate soluzioni restino sempre regolari oppure possano perdere questa proprietà. La strada scelta dal sistema artificiale conduce alla seconda possibilità, attraverso la costruzione matematica di un caso in cui si verifica un breakdown. È proprio la possibilità di risolvere la questione in una delle direzioni previste dalla formulazione ufficiale a rendere il risultato potenzialmente decisivo.

Il riconoscimento, tuttavia, segue regole molto più lunghe di una verifica automatica della correttezza formale. Il Clay Mathematics Institute stabilisce che una proposta debba essere pubblicata in una sede qualificata, che trascorra un periodo di almeno due anni e che il risultato ottenga un’accettazione generale nella ricerca matematica internazionale prima di essere preso in considerazione per il premio. Il controllo informatico della dimostrazione, per quanto importante, non sostituisce dunque questo percorso. La posta in gioco è uno dei Millennium Prize Problems formulati nel 2000, per i quali fu istituito complessivamente un fondo da sette milioni di dollari, con un milione destinato a ciascuna soluzione riconosciuta.

La disputa sui due matematici che lavoravano già alla dimostrazione

Accanto al valore scientifico si è aperta una controversia sulla genesi del risultato. Due matematici impegnati da circa un anno su una dimostrazione collegata al problema sostengono che l’azienda abbia avviato il proprio tentativo soltanto dopo avere saputo dei progressi raggiunti dal loro lavoro. Il dubbio più delicato riguarda la possibilità che le sessioni utilizzate dai ricercatori con strumenti della società possano avere contribuito, direttamente o indirettamente, alle capacità del sistema impiegato successivamente. L’azienda nega di avere avuto accesso specifico a quelle sessioni per costruire la soluzione, mentre la disputa sulla priorità e sull’influenza del lavoro precedente resta distinta dalla verifica puramente matematica della prova.

La cronologia resa pubblica aggiunge un elemento concreto al confronto. Il progetto con gli agenti sarebbe partito dopo che all’interno della società erano circolate voci sull’avanzamento di due problemi del millennio; la soluzione sarebbe poi emersa dopo 88 ore di lavoro coordinato, seguite da un’ulteriore fase di formalizzazione e verifica. Il sistema ha distribuito il compito tra gruppi differenti, incaricandoli di esplorare sia ipotesi di regolarità sia possibili controesempi, per poi combinare i risultati intermedi ritenuti più utili. Questo metodo mostra come una rete di modelli possa affrontare contemporaneamente molte direzioni di ricerca invece di procedere lungo un’unica catena di tentativi.

La controversia tocca infine un problema più ampio per la ricerca scientifica: la gestione dei risultati non ancora pubblicati quando i ricercatori utilizzano strumenti basati sull’intelligenza artificiale. Il matematico Roberto Natalini, direttore dell’Istituto per le Applicazioni del Calcolo del Consiglio Nazionale delle Ricerche, ha richiamato il rischio che gli studiosi diventino più prudenti nel condividere online progressi parziali se temono di perdere la paternità delle proprie scoperte. Anche Nature ha dato spazio alla vicenda, che porta così il confronto oltre la validità della dimostrazione e verso le regole con cui attribuzione, accesso ai dati di lavoro e strumenti automatici potranno convivere nella ricerca matematica.