OpenAI dichiara una soluzione a Navier-Stokes: una rivendicazione, non un teorema validato

Stamattina abbiamo scritto della distribuzione di GPT-6 «Astra» e della documentazione tecnica che l’accompagna. Nel pomeriggio la stessa azienda occupa la cronaca con un annuncio di natura diversa, e di verificabilità molto più bassa.

OpenAI afferma che un proprio modello non ancora rilasciato, affiancato da circa 10.000 agenti, ha prodotto una soluzione al problema di Navier-Stokes in circa 88 ore. L’annuncio è dell’8 settembre 2026 e non risulta accompagnato da una validazione sottoposta a revisione fra pari (The Neuron, OpenAI).

Perché la parola «soluzione» qui non basta

Navier-Stokes è uno dei problemi del millennio del Clay Mathematics Institute (The Neuron). In matematica la titolarità di un risultato non appartiene a chi lo annuncia ma a chi lo verifica: una dimostrazione esiste quando altri specialisti la leggono, la controllano riga per riga e non trovano falle. Finché questo passaggio non avviene, l’affermazione resta esattamente ciò che è oggi: la posizione di un’azienda sul proprio prodotto non rilasciato.

Le due fonti che riportano la notizia risalgono entrambe alla comunicazione della società. Non esiste, negli estratti disponibili, alcuna valutazione di matematici esterni, né l’indicazione di un manoscritto depositato o di un archivio dove il testo sia consultabile.

Una dimostrazione annunciata da chi la produce non è una dimostrazione accettata: manca il passaggio che la rende tale.

Il contesto della stessa giornata

L’8 settembre non è stato un giorno isolato di annunci. Google DeepMind ha comunicato la mappatura di 9 miliardi di varianti del DNA e Anthropic impegni di calcolo per circa 80 miliardi di dollari (The Neuron). Anche queste sono cifre dichiarate dalle aziende che le producono, riportate qui come tali.

Il dato di sistema arriva invece dall’altra parte del mondo. La capacità di calcolo dedicata all’intelligenza artificiale in Cina ha raggiunto 2.185 exaflop alla fine di giugno 2026, in aumento del 177 per cento rispetto allo stesso periodo dell’anno precedente, con un obiettivo dichiarato di crescita di circa quattro volte entro il 2030 (The Neuron). La notizia proviene al momento da un’unica origine — dati ufficiali cinesi ripresi dalla rassegna — e non risultano conferme indipendenti: si tratta di una statistica di governo, che questo giornale riporta come attribuzione e non come misura verificata.

Il confronto fra i due tipi di annuncio è istruttivo. Da un lato una rivendicazione scientifica non verificabile, dall’altro una contabilità di infrastruttura che almeno in linea di principio è misurabile — impianti, consumi elettrici, forniture di processori. Entrambe circolano con lo stesso peso mediatico e con statuti epistemici opposti.

Che cosa non sappiamo

Non sappiamo quale sia il modello impiegato da OpenAI, quali capacità abbia, né in che rapporto stia con quello distribuito ieri. Non sappiamo che cosa significhi «soluzione» nel comunicato: se una dimostrazione completa dell’esistenza e regolarità delle soluzioni, o un risultato parziale su un caso particolare. Non sappiamo se e quando il testo sarà reso pubblico.

Non conosciamo la metodologia con cui è stata calcolata la capacità di calcolo cinese, né se il perimetro comprenda solo installazioni pubbliche o anche private. Il criterio per giudicare, nelle prossime settimane, l’annuncio su Navier-Stokes è uno solo: la comparsa di un manoscritto leggibile e il giudizio pubblico di matematici estranei all’azienda.

Fonti: The Neuron, OpenAI (comunicazioni aziendali).