In Breve
- Qual è il problema di Navier–Stokes?
- È un problema aperto della matematica teorica riguardante l'esistenza e la regolarità delle soluzioni delle equazioni di Navier–Stokes.
- Chi è Tristan Buckmaster?
- È un professore di matematica alla NYU che ha annunciato progressi significativi sul problema di Navier–Stokes.
- Cosa ha fatto OpenAI in relazione a questo problema?
- OpenAI ha pubblicato una dimostrazione completa del problema, attribuendo il merito a un suo modello di intelligenza artificiale.
Il mondo della matematica teorica è in subbuglio a causa di una controversia che coinvolge il professore di matematica Tristan Buckmaster della New York University (NYU) e OpenAI. Buckmaster ha recentemente annunciato tre dimostrazioni e un risultato preliminare sul problema di esistenza e regolarità di Navier–Stokes, un problema che è rimasto irrisolto per decenni e che è uno dei sette Millennium Prize, con un premio di un milione di dollari per la prima dimostrazione accettata.
Le equazioni di Navier–Stokes sono fondamentali per la meccanica dei fluidi, ma la loro comprensione teorica è ancora limitata. Buckmaster ha lavorato a questo progetto in collaborazione con il matematico Levent Alpöge, utilizzando modelli di intelligenza artificiale come Codex e Claude per avanzare nella ricerca.
Subito dopo l’annuncio di Buckmaster, OpenAI ha pubblicato una dimostrazione completa del problema, attribuendo il merito a un suo modello di prossima generazione non ancora rilasciato. Secondo OpenAI, il loro lavoro è iniziato il 1° settembre, ispirato da voci su soluzioni ai problemi del Millennium Prize, e ha generato 300 miliardi di output token, con un costo computazionale stimato di 22,5 milioni di dollari.
Buckmaster ha sollevato preoccupazioni riguardo al fatto che OpenAI fosse a conoscenza dei loro progressi prima della pubblicazione e ha riferito che, quando contattati, i rappresentanti di OpenAI hanno inizialmente affermato di avere già una dimostrazione, seguita da risposte evasive sulle tempistiche e sul contributo umano.
I ricercatori notano che l’approccio di Buckmaster e Alpöge, che ha seguito le opzioni c e d nella formulazione di Fefferman del problema, era poco esplorato da altri ricercatori. Questo ha portato a sospetti sul fatto che OpenAI avesse adottato la stessa strategia nello stesso periodo.
Alpöge, attualmente impiegato da Anthropic, ha dichiarato di non aver condotto questa ricerca per conto dell’azienda. Il lavoro di Buckmaster e Alpöge si è basato su una combinazione di modelli, con un ampio utilizzo di Codex.
Inoltre, Buckmaster ha rivelato che durante i contatti con OpenAI, gli sarebbe stato chiesto di rimuovere il riconoscimento per Alpöge come parte di un compromesso, con frasi attribuite a Bubeck come “Why would you ruin your career?” e “If you don’t want me to be nice, then I don’t have to be nice.”
La questione ha anche sollevato interrogativi sulla possibile influenza delle interazioni con Codex sull’allenamento dei modelli di OpenAI. La società ha affermato di riservarsi il diritto di utilizzare dati derivati da interazioni con Codex, sebbene gli utenti possano scegliere l’opt-out. OpenAI ha dichiarato di non aver visto il lavoro dei ricercatori prima della sua pubblicazione, ma non ha escluso che dati de-identificati derivati dall’uso dei prodotti possano aver contribuito al miglioramento dei modelli.
La controversia riapre il dibattito sul ruolo dell’intelligenza artificiale nella ricerca matematica e sulle pressioni che spingono i laboratori a competere su problemi scientifici complessi. Buckmaster ha invitato a una maggiore trasparenza sui dettagli delle ricerche, sottolineando l’importanza di un approccio etico nella collaborazione tra intelligenza artificiale e ricerca scientifica.
