OpenAI annuncia una clamorosa scoperta matematica, alcuni accademici gridano allo scandalo
OpenAI Annuncia Soluzione All’Equazione di Navier-Stokes, Ma Le Accuse di Plagio e Manipolazione Offuscano il Successo
OpenAI ha annunciato oggi di aver trovato una soluzione generata dall’intelligenza artificiale a uno dei problemi più complessi della matematica: un’equazione vecchia di 200 anni che descrive il comportamento naturale dei fluidi come l’acqua e l’aria. L’annuncio, che sembra dimostrare lo straordinario potenziale dell’IA nel far progredire la matematica, è stato tuttavia offuscato dalle accuse del matematico Tristan Buckmaster, il quale sostiene che OpenAI si sia affrettata a risolvere il problema dopo aver appreso dei progressi suoi e di un altro matematico, cercando poi di influenzare l’attribuzione del merito.
La dimostrazione riguarda l’equazione di Navier-Stokes, uno dei problemi irrisolti premiati con i Clay Millennium Prizes, ciascuno del valore di un milione di dollari. In una conferenza stampa, Sebastien Bubeck, matematico e ricercatore di IA presso OpenAI, ha dichiarato che l’azienda ha iniziato ad addestrare un nuovo modello di IA con capacità matematiche avanzate il 28 agosto. Dopo aver letto voci secondo cui Anthropic stava facendo progressi verso la risoluzione di Navier-Stokes, Bubeck ha affermato che l’azienda ha deciso di dedicare più risorse ad affrontare il problema. Oltre un migliaio di agenti hanno lavorato al problema per più di 50 ore prima di scoprire di aver trovato una soluzione. "Ho pensato che ci dovesse essere un errore da qualche parte", ha detto Bubeck. "E domenica mattina avevamo la soluzione finale, formalizzata in Lean, e tutto il resto". OpenAI ha notato che risolvere questo problema ha richiesto una potenza di calcolo considerevolmente maggiore rispetto a quanto speso in precedenza per problemi matematici, con un costo "nell’ordine dei milioni di dollari", secondo Mark Chen, responsabile della ricerca di OpenAI.
Lunedì, Buckmaster, matematico alla NYU, e Levent Alpöge, ricercatore presso Anthropic, hanno pubblicato documenti che rivendicano progressi chiave in un’area pertinente al problema di Navier-Stokes. La coppia afferma di aver utilizzato diversi modelli di IA, inclusi Claude e Codex, per completare il proprio lavoro. Buckmaster ha anche pubblicato una dichiarazione in cui sostiene che, la settimana scorsa, aveva appreso che OpenAI era venuta a conoscenza del lavoro suo e di Alpöge e aveva iniziato a investire risorse significative nel problema. Buckmaster afferma di aver chiesto ai dirigenti di OpenAI se l’azienda avesse avuto accesso ai registri Codex della coppia. Dice che gli è stato risposto che il modello "non cercava dati degli utenti", ma sostiene che l’azienda non ha risposto a domande sull’addestramento. Afferma poi che OpenAI ha offerto diverse "proposte", inclusa una in cui Buckmaster avrebbe potuto pubblicare un articolo annunciando che il problema di Navier-Stokes era stato risolto da un modello interno di OpenAI, ma senza includere il nome di Alpöge.
Durante la conferenza stampa, Bubeck e altri dirigenti di OpenAI hanno negato che l’azienda avesse mai ispezionato le richieste di codice della coppia per informare il proprio lavoro. "Noi, che si tratti dei ricercatori o degli agenti, non abbiamo visto nulla del loro lavoro finché non è stato reso pubblico la scorsa notte", ha detto. Bubeck ha aggiunto: "Voglio essere estremamente chiaro che riconosciamo la priorità del lavoro di Levent Alpöge e Tristan Buckmaster sull’equazione di Euler non forzata, e non abbiamo altro che congratulazioni per loro per questa realizzazione monumentale che hanno compiuto. Per essere chiari, non abbiamo usato il loro prompt o la loro dimostrazione per istruire i nostri modelli o dirigere i nostri agenti". OpenAI ha dichiarato oggi di voler riconoscere il lavoro precedente di Alpöge e Buckmaster. Tuttavia, Ven Chandrasekaran, matematico dell’azienda, ha anche sottolineato che la loro soluzione era significativamente diversa nella natura da quella prodotta dal modello di OpenAI.
La disputa su chi debba essere accreditato per la risoluzione di uno dei maggiori problemi della matematica potrebbe protrarsi a lungo. Man mano che l’IA si assume una parte sempre maggiore del lavoro di ricerca di dimostrazioni, tali contese potrebbero forse diventare più comuni. La storia è in via di sviluppo.