La soluzione di OpenAI al problema di Navier-Stokes scatena una controversia sui crediti

OpenAI ha annunciato che i suoi agenti AI hanno risolto il problema dell'esistenza e della regolarità delle soluzioni delle equazioni di Navier-Stokes, uno dei sette problemi del millennio, ma il risultato è offuscato da accuse di utilizzo non accreditato del lavoro di altri ricercatori. Il matematico della NYU Tristan Buckmaster e il dipendente di Anthropic Levent Alpöge avevano lavorato al problema per quasi un anno utilizzando modelli AI pubblicamente disponibili di OpenAI e Anthropic. Buckmaster ha pubblicato lunedì su Mastodon una dimostrazione per una versione semplificata, e oggi OpenAI ha presentato una dimostrazione per le equazioni complete. OpenAI nega di aver utilizzato il lavoro di Buckmaster e Alpöge senza credito, ma il documento di Buckmaster che dettaglia le interazioni con i dipendenti di OpenAI suggerisce il contrario. La soluzione è stata ottenuta eseguendo circa 10.000 agenti in contemporanea a un costo di milioni di dollari, risorse non disponibili alla maggior parte dei matematici accademici. Ciò solleva preoccupazioni sul futuro della matematica, poiché le aziende AI con enormi risorse potrebbero dominare la risoluzione dei problemi, diminuendo potenzialmente il processo collaborativo e generativo della ricerca matematica umana. Terence Tao ha avvertito che soluzioni AI premature senza trasparenza potrebbero danneggiare il campo. La controversia evidenzia problemi di credito, trasparenza e il ruolo dei matematici umani in un'era guidata dall'AI.