OpenAI: risolto un problema matematico di 90 anni in 88 ore

• Pubblicato

OpenAI afferma di aver trovato una soluzione a un problema matematico avanzato decennale in poche ore utilizzando un nuovo modello di intelligenza artificiale (AI) e migliaia di bot AI.

Il creatore di ChatGPT ha dichiarato martedì, esterno, che concentrando un gruppo di circa 10.000 agenti AI, o bot AI che svolgono compiti in modo piuttosto autonomo, ha risolto un problema matematico notoriamente difficile in sole 88 ore.

Il problema faceva parte delle equazioni di Navier-Stokes, esterno, che riguardano il movimento dei fluidi. Per 90 anni, aspetti importanti dei problemi sono rimasti privi di una dimostrazione, l'argomentazione alla base di una corretta equazione matematica.

OpenAI ha definito la soluzione trovata una "pietra miliare" e una prova che gli strumenti AI stanno migliorando rapidamente.

La soluzione di OpenAI deve ancora essere verificata in modo indipendente o accettata pubblicamente dal Clay Mathematics Institute, un'organizzazione matematica con sede negli Stati Uniti che gestisce il Millennium Prize, che offre ingenti somme di denaro ai primi a risolvere determinati enigmi matematici.

L'azienda ha dichiarato che alla fine di agosto ha iniziato ad addestrare un nuovo modello che ha rapidamente dimostrato di essere abile in matematica. I modelli AI sono programmi informatici addestrati su enormi quantità di dati per riconoscere e prevedere schemi nelle informazioni.

Sebbene il nuovo modello OpenAI rimanga uno strumento utilizzato solo all'interno dell'azienda, poiché è "significativamente più capace" del più recente modello AI rilasciato dall'azienda, i suoi ricercatori hanno deciso di utilizzarlo su alcuni notevoli problemi matematici avanzati.

OpenAI ha ammesso che la scorsa settimana, il 1° settembre, aveva "sentito voci secondo cui due problemi del Millennium Prize erano stati risolti" e quindi ha deciso di mettere al lavoro migliaia di bot AI addestrati sul nuovo modello interno per tentare di risolvere alcuni dei problemi rimanenti.

Entro il 5 settembre, o circa 88 ore dopo aver assegnato il compito a 10.000 bot AI, OpenAI aveva trovato una soluzione a quello che viene definito il problema dell'esistenza e della regolarità di Navier-Stokes.

Il problema è al centro della turbolenza, un fenomeno ancora poco compreso.

Sebbene i bot AI abbiano impiegato apparentemente poco tempo per raggiungere una soluzione, OpenAI ha dichiarato che i bot si sono scambiati quasi 3 milioni di messaggi e hanno utilizzato 130 miliardi di token di output, ovvero le singole righe di testo e codice che un modello AI produce nelle risposte, solo su Navier-Stokes.

Uno sforzo del genere sarebbe costato circa 10 milioni di dollari (7,3 milioni di sterline), in base ai prezzi di OpenAI, esterno, per l'output dei suoi modelli più avanzati.

La soluzione che OpenAI afferma di aver ora raggiunto per il problema dell'esistenza e della regolarità di Navier-Stokes ha risolto due delle quattro affermazioni nella dimostrazione richiesta dal Millennium Prize. Il premio vale 1 milione di dollari per un vincitore.

"Il nostro obiettivo nel pubblicare questo risultato è segnalare i sostanziali progressi dei nostri modelli AI", ha dichiarato OpenAI martedì. "Non intendiamo rivendicare il Millennium Prize per questo risultato."

Già l'affermazione dell'azienda sta suscitando alcune controversie.

Tristan Buckmaster, professore di matematica alla New York University, ha dichiarato martedì, esterno, che lui e Levent Alpöge, un matematico che lavora per Anthropic, rivale di OpenAI, stavano anch'essi lavorando a soluzioni per il problema.

I due stavano utilizzando lo strumento Codex di OpenAI nel loro lavoro. Ma Buckmaster ha detto che il 3 settembre ha scoperto che "informazioni sui nostri progressi erano state trasmesse a OpenAI".

L'affermazione di Buckmaster è arrivata lo stesso giorno, ma ore prima, che OpenAI ha pubblicato il suo lavoro su Navier-Stokes. Ha sostenuto che OpenAI non ha iniziato a lavorare sulle equazioni di Navier-Stokes fino a "dopo che le informazioni sul nostro lavoro erano arrivate a OpenAI". Ha incluso testi di e-mail scambiate con OpenAI sul lavoro e le sue domande sui tempi e sui metodi dell'azienda.

Buckmaster ha aggiunto di non aver ancora letto la dimostrazione completa di OpenAI, ma si è sentito in dovere di rendere pubblico "ciò che mi è stato detto, quando, e cosa mi è stato proposto... perché l'alternativa è lasciare che una serie di annunci dica qualcosa che so essere falso".

OpenAI martedì ha congratulato il "lavoro concomitante" di Buckmaster e Alpöge, definendolo "notevole".

L'azienda ha dichiarato di non aver visto "alcuno dei loro lavori con alcun mezzo fino a quando non lo hanno reso pubblico" e che nessun dato utente è stato consultato nel suo lavoro sul problema di Navier-Stokes.

"Sebbene improbabile, non possiamo escludere che dati de-identificati derivanti dal loro utilizzo dei nostri prodotti abbiano contribuito a migliorare i nostri modelli", ha aggiunto l'azienda. "Tuttavia, le nostre dimostrazioni differiscono in modo significativo e anche i risultati precisi dimostrati sono diversi."

Argomenti correlati

• Pubblicato 1 giorno fa

• Pubblicato 12 ore fa