OpenAI il 8 settembre 2026 ha dichiarato che il suo sistema di IA interno ha risolto uno dei sette problemi del millennio: il problema dell'esistenza e della regolarità delle soluzioni delle equazioni di Navier-Stokes.
Secondo l'azienda, la dimostrazione mostra che un fluido liscio in quiete sotto l'azione di una forza liscia può sviluppare una singolarità in tempo finito, mentre l'energia rimane finita.
La soluzione è stata ottenuta con migliaia di agenti di IA che hanno lavorato per circa 88 ore ed è stata formalizzata in Lean.
L'annuncio ha subito suscitato polemiche nella comunità matematica.
Il professor Tristan Buckmaster della New York University e il ricercatore di Anthropic Levent Alpöge avevano poco prima pubblicato risultati su problemi correlati, considerati passi importanti verso la soluzione del problema di Navier-Stokes.
Buckmaster ha espresso preoccupazione che OpenAI potesse essere venuta a conoscenza della direzione del loro lavoro e aver accelerato i propri sforzi utilizzando un approccio simile.
L'azienda ha respinto le accuse di accesso a dati o bozze altrui, affermando di aver agito sulla base di voci pubbliche sui progressi negli altri problemi del millennio.
Come esattamente gli agenti di IA siano arrivati alla dimostrazione e se questo possa essere considerato una svolta indipendente, ora è oggetto di discussione tra matematici ed esperti di IA.
Sarà interessante vedere se questo episodio influenzerà la fiducia dei ricercatori nell'uso di modelli commerciali per lavorare su risultati non pubblicati.
OpenAI ha sottolineato che non intende rivendicare il premio di un milione di dollari del Clay Institute.
L'evento è diventato un altro esempio di quanto rapidamente si stiano sviluppando le capacità dell'IA in matematica, ma allo stesso tempo ha sollevato questioni di etica e paternità nel lavoro congiunto tra uomo e macchina.
