Marted� OpenAI ha annunciato di aver trovato una singolarit� in tempo finito nelle equazioni di Navier-Stokes in tre dimensioni, uno dei sette Millennium Prize Problems formulati nel 2000 dal Clay Mathematics Institute e dotati di un premio da un milione di dollari ciascuno. L'azienda ha ottenuto il risultato con un modello interno non disponibile al pubblico, facendo lavorare in parallelo circa 10.000 agenti, e lo ha pubblicato insieme a una formalizzazione in Lean che chiunque pu� far verificare a macchina. Il premio, ha dichiarato, non intende reclamarlo.
We�re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.The problem� pic.twitter.com/8zol3BPTL4� OpenAI (@OpenAI) September 8, 2026
La soluzione � un vortice. Un fluido che parte fermo e regolare, sottoposto a una forza esterna regolare, sviluppa una struttura rotante che si avvita verso l'interno allungandosi come uno spaghetto; la regione centrale si restringe e accelera finch� la velocit� cresce senza limite in un tempo finito, mentre l'energia totale resta finita, come le leggi fisiche richiedono. Il punto difficile era proprio l'equilibrio: accelerazione, gradienti di pressione, trasporto di quantit� di moto e viscosit� devono crescere insieme e cancellarsi con precisione, in modo che la forza applicata dall'esterno resti regolare invece di essere una forza infinita applicata a mano. Nella formulazione ufficiale del problema, curata da Charles Fefferman di Princeton, la prova stabilisce gli enunciati C e D, cio� il ramo che nega la regolarit� globale.
