OpenAI afferma che la sua dimostrazione da 10 milioni di dollari di Navier-Stokes potrebbe costare 100.000 dollari l'anno prossimo
Punti chiave
- •OpenAI afferma che un sistema AI interno che, secondo quanto riferito, ha superato il suo modello di punta GPT-6 Astra ha generato una dimostrazione analitica per il problema dell'esistenza e regolarità di Navier-Stokes e l'ha formalizzata nel software di verifica delle dimostrazioni Lean.
- •Il progetto si è basato su una rete di circa 10.000 agenti AI coordinati che ha dedicato circa 88 ore alla dimostrazione e altre 17 ore alla verifica della formalizzazione in Lean.
- •I costi di calcolo stimati oscillavano tra 10 e 15 milioni di dollari, ma OpenAI prevede che uno sforzo comparabile potrebbe costare circa 100.000 dollari l'anno prossimo se i previsti guadagni di efficienza dell'AI si concretizzassero.
- •OpenAI ha dichiarato che non concorrerà al premio di 1 milione di dollari che il Clay Mathematics Institute accompagna al problema di Navier-Stokes, uno dei sette problemi di questo tipo di cui finora è stata risolta solo la congettura di Poincaré.
- •L'annuncio ha scatenato un dibattito in corso tra i matematici su priorità della ricerca e meriti, con alcune figure di rilievo preoccupate che la dimostrazione possa aver tratto da metodi non pubblicati, sebbene la formalizzazione in Lean ne supporti la correttezza.
OpenAI afferma che un progetto matematico basato sull'AI come lo sforzo di dimostrazione di Navier-Stokes appena completato potrebbe costare circa 100.000 dollari l'anno prossimo, rispetto ai circa 10 milioni di dollari del primo tentativo. Se la previsione si avverasse, rappresenterebbe un calo di circa il 99% in un solo anno.
La proiezione è arrivata mentre l'azienda continua ad affrontare domande da parte dei matematici sulla priorità della ricerca e su chi merita il credito per il risultato.
Ciò che OpenAI afferma di aver fatto
L'8 settembre 2026, OpenAI ha annunciato i risultati di un sistema AI interno che, secondo quanto riferito, ha superato GPT-6 Astra, il modello di punta dell'azienda. Secondo OpenAI, il sistema ha prodotto una dimostrazione analitica sul problema dell'esistenza e regolarità di Navier-Stokes, una delle più note questioni aperte della matematica. Ha inoltre prodotto una formalizzazione della dimostrazione in Lean, uno strumento software che verifica le dimostrazioni matematiche passo dopo passo.
Il problema di Navier-Stokes è uno dei Problemi del Premio del Millennio istituiti dal Clay Mathematics Institute nel 2000. Riguarda le equazioni che descrivono il moto dei fluidi incomprimibili in tre dimensioni. Il risultato di OpenAI punta a una rottura: secondo l'azienda, le equazioni possono sviluppare singolarità in tempo finito partendo da condizioni iniziali regolari, mentre l'energia totale resta finita. Una singolarità di questo tipo, se confermata, significherebbe che le equazioni cessano di fornire una descrizione regolare del flusso oltre un certo punto, ed è per questo che la questione della regolarità rappresenta da lungo tempo un banco di prova per i limiti di queste equazioni.
Il conto del calcolo
Il lavoro non è nato da una singola sessione di chatbot. OpenAI ha utilizzato una rete dinamica di circa 10.000 agenti AI coordinati. Quegli agenti hanno lavorato per circa 88 ore sulla dimostrazione stessa, e altre 17 ore sono state necessarie per verificare la formalizzazione in Lean.
Le stime collocano il costo di calcolo del progetto tra 10 e 15 milioni di dollari, con lo stesso OpenAI che indica circa 10 milioni di dollari.
L'azienda si aspetta che un progetto simile costi circa 100.000 dollari l'anno prossimo. Attribuisce questo calo previsto ai prevedibili guadagni di efficienza dell'AI. La parola "previsti" ha il suo peso: la cifra di 100.000 dollari è una previsione, non una fattura.
Rinunciare al premio in denaro
Il Clay Mathematics Institute accompagna il problema di Navier-Stokes con un premio di 1 milione di dollari. OpenAI ha dichiarato che non lo concorrerà. Conto un costo di calcolo di 10 milioni di dollari o più, il premio coprirebbe a malapena l'elettricità.
Il problema di Navier-Stokes è uno dei sette Problemi del Premio del Millennio, ciascuno con lo stesso premio di 1 milione di dollari. Nel quarto di secolo dal loro annuncio, solo uno è stato risolto: la congettura di Poincaré, dimostrata da Grigori Perelman, che ha anch'esso rinunciato al premio.
La questione del merito
L'annuncio ha scatenato un acceso dibattito tra i matematici sulla priorità della ricerca e su come attribuire i meriti. Alcune figure di rilievo hanno sollevato preoccupazioni sul fatto che la dimostrazione possa aver tratto da metodi o intuizioni non pubblicati. A metà-fine ottobre 2026, la discussione era ancora in corso, e i ricercatori continuano a esaminare le affermazioni di OpenAI e l'approccio matematico alla base.
La formalizzazione in Lean aiuta su un fronte. Una dimostrazione verificata dalla macchina è più difficile da contestare sul piano della correttezza rispetto a un lungo articolo esaminato da una manciata di esperti. Il precedente va nella stessa direzione: la congettura di Keplero sull'impacchettamento delle sfere ha ottenuto la conferma completa solo dopo un progetto pluriennale di verifica formale che l'ha controllata riga per riga. Ma correttezza e merito sono questioni separate. Lean può confermare che ogni passaggio logico regge; non può determinare di chi fosse l'idea del passaggio chiave.
Cosa significa
Il numero più significativo dell'annuncio potrebbe non essere 10 milioni di dollari. Sono 100.000 dollari. A 10 milioni di dollari, un'esecuzione come questa è una dimostrazione una tantum che solo una manciata di laboratori ben finanziati può tentare. A 100.000 dollari, inizia a assomigliare a una voce di bilancio di ricerca che un dipartimento universitario o un'azienda di medie dimensioni potrebbero plausibilmente giustificare.
Tre domande spiccano da qui: se gli esperti indipendenti endorsinganno il risultato, come risponderà il Clay Mathematics Institute viste le rinunce di OpenAI al premio, e se le esecuzioni dell'anno prossimo si collocheranno effettivamente vicino alla soglia dei 100.000 dollari.
Fonte: CryptoBriefing (a cura di Diego Almada Lopez), 29 ottobre 2026 — OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year
