OpenAI dice di aver risolto un Problema del Millennio, ma è polemica su chi ha avuto l'idea
OpenAI sostiene che il suo modello ha dimostrato che le equazioni di Navier-Stokes, in rari casi, «esplodono». Due matematici accusano l'azienda di aver seguito il loro metodo dopo aver saputo dei loro progressi. OpenAI nega.
OpenAI dice che il suo modello interno ha risolto uno dei sette Problemi del Millennio, le sfide più grandi della matematica, ognuna con un premio da un milione di dollari. Se fosse confermato, sarebbe la seconda volta che uno di questi problemi viene risolto, e la prima da parte di una macchina.
Secondo OpenAI la dimostrazione mostra che in rari casi le equazioni di Navier-Stokes, quelle che descrivono il movimento dei fluidi, «esplodono»: impongono che in alcuni punti la velocità di un fluido diventi infinita, cosa impossibile in natura. L'azienda dice di aver certificato la dimostrazione con Lean, un linguaggio di programmazione che ne garantisce quasi del tutto la correttezza. Per ora nessun matematico esterno l'ha verificata.
Il caso però si è acceso su un'altra domanda: di chi è l'idea. Il matematico Tristan Buckmaster sostiene che OpenAI si è messa sulla dimostrazione dopo aver saputo che lui e il collega Levent Alpöge, matematico e dipendente di Anthropic, stavano usando un metodo preciso. La notte prima dell'annuncio Buckmaster aveva scritto sui social che lui e Alpöge avevano dimostrato che le equazioni di Eulero esplodono, un risultato considerato un passo verso la soluzione di Navier-Stokes. Secondo lui, nell'ultima settimana OpenAI aveva saputo dei loro progressi e aveva adottato lo stesso metodo per risolvere il problema completo.
OpenAI nega. Il suo matematico Sébastien Bubeck ha detto che il modello ha risolto il problema di Eulero da solo, con metodi del tutto diversi da quelli di Buckmaster e Alpöge. Ha però ammesso che la soluzione di Navier-Stokes segue un metodo simile al loro, e che la dimostrazione è stata sviluppata nel fine settimana, cioè dopo il momento in cui, secondo Buckmaster, la notizia del loro lavoro era arrivata a OpenAI. «Non abbiamo usato il loro prompt né le loro dimostrazioni per istruire i nostri modelli», ha detto Bubeck.
Fra i matematici c'è stupore e cautela. «Siamo un po' sotto shock», dice Diego Córdoba, che con Luis Martínez-Zoroa ha sviluppato l'approccio usato dall'IA, chiamato forcing. «Se è fatta, sarà una grande sorpresa per noi». E Luis Silvestre, dell'Università di Chicago: «Ieri e oggi sono giorni folli. Tutti noi, nella comunità, stiamo discutendo le implicazioni di tutto questo».