Il Clay Mathematics Institute ha riconosciuto pubblicamente per la prima volta che il problema dell'esistenza e della levigatezza di Navier-Stokes - uno dei sette problemi del Premio del Millennio - "è stato apparentemente risolto". La dichiarazione, pubblicata venerdì sul sito web dell'istituto, inserisce una delle storie di intelligenza artificiale e matematica più contestate dell'anno nel processo formale di valutazione dei premi dell'istituto, chiarendo allo stesso tempo che nessun premio è stato assegnato e nessuna prova approvata.
"Oggi, il CMI condivide l'entusiasmo della comunità matematica globale mentre contempliamo l'annuncio che il problema di Navier-Stokes è stato apparentemente risolto", ha scritto l'istituto nell'annuncio, datato 11 settembre 2026. "Speriamo di vedere ondate di nuova comprensione umana scatenate mentre le innovazioni alla base di questo lavoro vengono analizzate e interrogate". Per maggiori informazioni su questa storia, consulta la nostra ultimi sviluppi nell'IA.
Perché la dichiarazione è importante
Il linguaggio misurato dell'istituto sta facendo molto lavoro e ogni parola è stata analizzata in poche ore su Hacker News, dove l'annuncio ha raccolto più di 100 punti. Ciò che la dichiarazione non dice è altrettanto significativo di ciò che dice: il Clay Mathematics Institute non nomina OpenAI, non conferma che alcuna dimostrazione specifica sia corretta e non attiva l'assegnazione di un premio.
Il contesto spiega la restrizione. L’8 settembre, OpenAI ha pubblicato una soluzione dichiarata al problema di Navier-Stokes, affermando che un sistema di intelligenza artificiale interno – descritto dall’azienda come significativamente più capace del suo modello GPT-6 Astra – aveva prodotto sia una prova analitica che una verifica formale nell’assistente Lean proof. L'annuncio divenne immediatamente una questione di credito oltre che di calcolo, perché due matematici accademici pubblicarono lo stesso giorno articoli strettamente correlati e i ricercatori fecero pressioni su OpenAI sul cui lavoro aveva informato il risultato della macchina.
Ora che l'istituto riconosce che il problema "apparentemente è stato risolto", la controversia cambia terreno: dal ping-pong dei comunicati stampa alla procedura di valutazione del Premio del Millennio, che l'istituto descrive come "volutamente senza fretta".
Cosa pone il problema di Navier-Stokes
Il problema riguarda l’esistenza e la regolarità delle soluzioni delle equazioni di Navier-Stokes nello spazio euclideo tridimensionale – le equazioni che descrivono come si muovono fluidi come l’acqua e l’aria. Sebbene queste equazioni siano utilizzate quotidianamente da ingegneri, meteorologi e aerodinamici, i matematici non hanno mai dimostrato che esistano sempre soluzioni fluide e fisicamente ragionevoli in tre dimensioni, o che si comportino in modo prevedibile anziché sviluppare singolarità.
Il Clay Mathematics Institute ha presentato i Problemi del Premio del Millennio in un incontro a Parigi nel 2000, assegnando un premio di 1 milione di dollari a ciascuno dei sette problemi, che includono anche l'ipotesi di Riemann e P contro NP. Nella sua dichiarazione di venerdì, l’istituto ha ribadito la sua logica originaria: sensibilizzare l’opinione pubblica sul fatto che la frontiera della matematica è aperta e riconoscere “i risultati ottenuti in matematica di portata storica”.
Solo uno dei sette problemi, la congettura di Poincaré, è stato risolto – da Grigori Perelman in un lavoro pubblicato nel 2002 e nel 2003, per il quale notoriamente rifiutò sia la medaglia Fields che il premio in denaro.
Una valutazione 'deliberatamente senza fretta' in vista
L'annuncio dell'istituto indica le regole del premio come quadro normativo per ciò che accadrà dopo. "Il regolamento che disciplina l'assegnazione dei premi descrive il processo di valutazione di quanto realizzato e di assegnazione dei crediti", si legge nel comunicato. "Il processo è volutamente lento, ma forniremo aggiornamenti."
Questa frase lascia aperte diverse domande su cui la comunità matematica sta ora dibattendo apertamente. La verifica è il primo ostacolo: una prova della regolarità di Navier-Stokes normalmente richiederebbe molti mesi a un comitato di esperti per verificare riga per riga. L'affermazione di OpenAI secondo cui il suo risultato include una formalizzazione controllata dalla macchina in Lean potrebbe, in linea di principio, comprimere drasticamente quella sequenza temporale, poiché la verifica formale riduce la questione della correttezza a ciò che un assistente di prova accetterà. Ma l’istituto non ha detto se tale formalizzazione gli è stata sottoposta, chi sono i revisori o come verrà ripartito il merito tra il sistema di intelligenza artificiale, i suoi creatori presso OpenAI e i matematici accademici i cui documenti correlati sono apparsi la stessa settimana.
La dichiarazione inoltre non affronta la questione se una soluzione attribuibile in parte significativa a un sistema di intelligenza artificiale possa qualificarsi per un premio destinato, nel linguaggio fondatore dell’istituto, a riconoscere i risultati matematici umani – una questione senza precedenti nei 26 anni di storia del premio.
La tensione dietro l'annuncio
L’annuncio arriva in un momento straordinariamente delicato per l’intersezione tra intelligenza artificiale e matematica. Venerdì, un gruppo di 25 medaglie Fields, tra cui Terence Tao, ha pubblicato una dichiarazione formale in cui avverte che la corsa per mostrare i sistemi di intelligenza artificiale su parametri matematici sta danneggiando sia la scienza che la comunità che la sostiene - una dichiarazione che ha raccolto più di 1.300 sostenitori aggiuntivi in un giorno, come riportato in precedenza da AI Buzz Wire.
I due documenti si leggono quasi come risposte reciproche. La dichiarazione dei matematici mette in guardia dal trattare i problemi profondi come trofei di riferimento; L'annuncio dell'istituto, pur abbracciando il risultato, inquadra chiaramente il momento attorno alla comprensione piuttosto che alla vittoria, sperando di vedere "ondate di nuova comprensione umana scatenate mentre le innovazioni alla base di questo lavoro vengono analizzate e interrogate".
Anche il resoconto dell’istituto sul campo circostante riconosce il cambiamento: “La crescente capacità delle nuove tecnologie di accelerare la ricerca matematica ha accresciuto questo senso di anticipazione”, osserva la dichiarazione, attribuendo il merito ai recenti progressi in aree adiacenti – alcuni riconosciuti dal Clay Research Award – con la speranza che Navier-Stokes possa presto crollare.
Cosa verrà dopo
Per ora, il risultato pratico è limitato ma reale: l’istituto a cui appartiene il problema ha dichiarato di considerare il problema apparentemente risolto e si è impegnato a fornire aggiornamenti pubblici man mano che la sua valutazione procede. Se il lavoro sopravvivesse all’esame accurato, sarebbe il secondo Problema del Millennio risolto, il primo in due decenni – e il primo nella storia attribuibile in parte a un sistema di intelligenza artificiale, una distinzione che determinerà il modo in cui le istituzioni matematiche gestiranno la prossima affermazione del genere.
L'istituto ha chiesto pazienza. Dato che il processo è, per definizione, deliberatamente lento, le domande della comunità – sulla prova, sul credito e sul ruolo della macchina che l’ha prodotta – riceveranno risposta sulla sequenza temporale dell’istituto, non su quella delle notizie.
---
Rimani Aggiornato sull'IALe ultime notizie, analisi e scoperte sull'intelligenza artificiale — tutto in un posto.
Leggi altre notizie sull'IA →
