OpenAI lascia non riscosso il premio da 1 milione di dollari per Navier–Stokes

OpenAI è stata indicata come vincitrice del primo premio da 1 milione di dollari del nuovo programma di Justin Sun per il suo risultato sulle equazioni di Navier–Stokes, ma non ha riscosso la somma. La cautela è rilevante: non si tratta soltanto della notizia di un’IA che avrebbe trovato una dimostrazione, bensì di un banco di prova per la verifica formale, i premi privati, la revisione tra pari e l’attribuzione del merito nella matematica di frontiera. 3689

Che cosa sostiene di aver dimostrato OpenAI

L’8 settembre 2026 OpenAI ha pubblicato una descrizione del risultato e una formalizzazione in Lean, un assistente per dimostrazioni formali. L’azienda afferma che un proprio sistema interno abbia prodotto una dimostrazione analitica secondo cui un fluido tridimensionale inizialmente liscio e fermo può sviluppare una singolarità in tempo finito se sottoposto a una forza esterna liscia. 6

Nella terminologia della formulazione del problema del Clay Mathematics Institute, la tesi riguarda la strada del controesempio forzato, ossia i casi C e D. Non dimostra invece le alternative di regolarità globale senza forzante, i casi A e B. È una distinzione fondamentale: dire semplicemente che «Navier–Stokes è risolto» rischia di confondere una costruzione di blow-up con forzante con una soluzione completa nel senso più ampio che molti associano al problema. 61819

Come è stata prodotta e controllata la prova

OpenAI riferisce di aver iniziato a testare sul problema, il 28 agosto, un modello interno ancora in fase di addestramento, ampliando il lavoro dopo il 1° settembre. Secondo l’azienda, sono stati impiegati gruppi coordinati di agenti con accesso a codice e materiale web memorizzato nella cache; il lavoro su Navier–Stokes avrebbe coinvolto circa 10.000 agenti simultanei. 6

Le ricostruzioni indicano circa 88 ore per l’esecuzione che ha portato alla scoperta, seguite da circa 17 ore in cui GPT-6 Astra avrebbe formalizzato e verificato il lavoro in Lean. OpenAI ha precisato che il modello usato per trovare il risultato era un sistema interno molto più capace di GPT-6 Astra: ad Astra è associato il ruolo di formalizzazione e verifica, non necessariamente quello della scoperta matematica originaria. 68

Non è una sfumatura di marketing. La verifica in Lean è una forte evidenza che un teorema formalizzato segue dalle ipotesi codificate. Da sola, però, non stabilisce che tali ipotesi riproducano tutte le condizioni richieste dalla formulazione del Clay Institute, né sostituisce il giudizio esterno dei matematici sulla portata e sull’interpretazione del risultato.

Perché il Clay Institute non ha assegnato il suo milione

Il premio del Clay Mathematics Institute è distinto da quello di Sun. L’11 settembre il Clay Institute ha dichiarato di stare valutando l’annuncio di OpenAI secondo le proprie regole e ha sottolineato che il processo è volutamente non rapido. 1

Le regole del Millennium Prize prevedono che una soluzione proposta sia pubblicata in una sede idonea, che trascorrano almeno due anni dalla pubblicazione e che il risultato ottenga un’accettazione generale nella comunità matematica mondiale prima che l’istituto possa prendere in considerazione il premio. Perciò non può diventare immediatamente un esito del Millennium Prize, anche qualora il codice Lean risulti verificabile come dichiarato.

Lo stato pratico è quindi chiaro: OpenAI ha presentato pubblicamente una rivendicazione e il materiale di formalizzazione, ma il Clay Mathematics Institute non ha riconosciuto il lavoro con il proprio Millennium Prize. Restano da valutare in modo indipendente la prova analitica, la formalizzazione e la conformità alle condizioni pertinenti del problema. 16

Che cosa riconosce il premio di Justin Sun

Sun ha annunciato il suo premio il 16 settembre come un programma decentralizzato di ricompense accademiche per progressi nella ricerca fondamentale e nella verifica formale automatica. La prima tornata riguardava 66 problemi matematici e al risultato rivendicato da OpenAI su Navier–Stokes è stato attribuito il premio massimo da 1 milione di dollari. 314

L’impostazione è più ampia e più rapida di quella del Clay Institute: il programma intende riconoscere dimostrazioni verificabili da una macchina ed è presentato come aperto a ricercatori umani, sistemi di IA e collaborazioni tra persone e IA. 414

Si tratta dunque di un premio privato, regolato da criteri propri, non di un sostituto degli standard con cui la comunità matematica stabilisce correttezza, priorità e importanza duratura di un risultato. Essere indicati vincitori secondo le regole di Sun non obbliga il Clay Institute né gli altri ricercatori a considerare la questione definitivamente chiusa.

Perché il denaro è rimasto non riscosso

Secondo quanto riportato sul repository del premio, OpenAI era indicata come idonea a richiedere l’importo, ma non lo aveva fatto. Le notizie hanno collegato questa scelta alla disputa ancora aperta sull’origine della prova e alla decisione di OpenAI di non perseguire, in quella fase, il premio del Clay Institute. 89

Nei materiali qui esaminati OpenAI non ha reso pubblica una motivazione definitiva per il rifiuto o il rinvio della riscossione. L’interpretazione prudente è quindi limitata: accettare un premio privato mentre portata, provenienza e attribuzione del lavoro sono contestate potrebbe apparire come una dichiarazione di definitività prima della normale validazione professionale.

La disputa sui crediti fa parte della questione scientifica

Tristan Buckmaster, matematico della New York University, ha sostenuto che il lavoro di OpenAI abbia attinto a ricerca non pubblica. OpenAI contesta l’accusa. Le fonti disponibili non documentano una conclusione indipendente e definitiva della controversia. 120

Nature ha osservato che l’episodio evidenzia l’esigenza di una collaborazione più stretta tra aziende di IA e comunità di ricerca sul tema dell’attribuzione e dei crediti. Nella matematica assistita dall’IA, i sistemi possono esplorare, combinare e formalizzare idee a una scala inusuale, mentre ricostruire la provenienza di una singola intuizione può essere difficile. 1720

Questo non dimostra che la prova formale sia errata. Mostra però che correttezza e attribuzione sono questioni distinte, e che entrambe contano per un possibile passo avanti destinato a incidere su un’area centrale della matematica.

Lo stato attuale della rivendicazione

La dichiarazione di OpenAI è straordinaria: una costruzione di singolarità in tempo finito per una formulazione importante di Navier–Stokes, individuata tramite un flusso di lavoro con agenti su larga scala e accompagnata da una formalizzazione in Lean. 61819

Non dovrebbe però essere descritta, per ora, come una soluzione del Millennium Prize riconosciuta dal Clay Institute. Il premio di Sun risulta non riscosso, la procedura del Clay Institute è separata e molto più lenta, e la disputa sull’attribuzione non è risolta. 18920

I prossimi passaggi rilevanti saranno la revisione indipendente della matematica, il controllo rigoroso che l’enunciato formalizzato corrisponda alle condizioni previste dal problema e una ricostruzione credibile di priorità e paternità scientifica. Fino ad allora, la descrizione più accurata è quella di una rivendicazione matematica di grande rilievo generata con l’IA e dotata di una componente verificabile da una macchina, non di un risultato già consacrato dal consenso della comunità.