OpenAI ha pubblicato 722 articoli matematici che affrontano 372 problemi aperti, spaziando dall’algebra e dalla geometria all’informatica teorica. L’azienda ha dichiarato che il lavoro, prodotto in gran parte da un modello di IA che non ha ancora reso noto, potrebbe contribuire ad ampliare i confini della conoscenza umana. La pubblicazione ha suscitato tra i matematici entusiasmo e preoccupazione per l’affidabilità dei risultati e per il modo in cui sono stati presentati.
Alcuni articoli rivendicano progressi su problemi noti e di lunga data, tra cui l’ipotesi di Riemann e la congettura di Birch e Swinnerton-Dyer. Entrambi fanno parte dei sette Problemi del Millennio, per ciascuno dei quali è previsto un premio di 1 milione di dollari statunitensi per una soluzione. Da allora, diversi articoli della raccolta sono stati ritirati o revisionati.
OpenAI afferma di aver pubblicato i risultati per promuovere i progressi in matematica. Alcuni ricercatori, però, si sono chiesti se gli articoli siano abbastanza chiari da poter essere valutati. Un matematico ha detto all’autore dell’articolo che un lavoro su un problema che conosceva bene era così difficile da capire che, a suo parere, non sarebbe stato adatto alla revisione di una rivista. L’autore ha inoltre riferito che ChatGPT ha espresso forti dubbi su almeno un risultato di grande rilievo, affermando che non avrebbe dovuto essere considerato una dimostrazione senza una verifica completa da parte di esperti.
La pubblicazione è arrivata dopo una controversia separata sul lavoro di OpenAI di settembre riguardante un caso del problema di Navier-Stokes, un altro Problema del Millennio. I matematici Tristan Buckmaster e Levent Alpöge hanno sostenuto che OpenAI avesse avuto accesso ai loro dati e utilizzato le loro idee prima di dedicare risorse di calcolo alla soluzione. OpenAI ha negato le accuse.
L’ampiezza della nuova raccolta ha sollevato anche interrogativi sui controlli effettuati prima della pubblicazione. OpenAI ha ritirato tre articoli a causa di un errore elementare e ne ha corretti diversi altri dopo che alcuni sbagli avevano invalidato i risultati. In matematica, i nuovi lavori vengono generalmente valutati da specialisti prima di entrare a far parte della letteratura scientifica accettata: un processo che, per gli articoli tecnici più lunghi, può richiedere anni. La revisione da parte della comunità sarà quindi fondamentale per stabilire se le affermazioni reggono.
OpenAI afferma di aver formalizzato 300 dei risultati principali, utilizzando software come Lean per tradurre gli argomenti matematici in dimostrazioni verificabili passo dopo passo da un computer. I sistemi di IA vengono impiegati sempre più spesso per automatizzare questo processo. Tuttavia, anche le formalizzazioni possono essere implementate in modo errato e lavori precedenti generati dall’IA, compresi quelli su Navier-Stokes, hanno sollevato dubbi. Non è chiaro se i matematici accetteranno le formalizzazioni di OpenAI.
Le reazioni alla pubblicazione sono andate dal definirla un momento storico al criticare la quantità di materiale e il carico imposto ai ricercatori chiamati a valutarlo. I risultati hanno stimolato gli specialisti che indagano su possibili progressi, ma hanno anche suscitato preoccupazioni sull’impatto che la rapidità della ricerca assistita dall’IA potrebbe avere sul lavoro dei matematici, in particolare degli studenti e dei ricercatori all’inizio della carriera.
Fonti: Folha Ciência.