OpenAI ha caricato una raccolta di 722 articoli di matematica in un repository pubblico su GitHub. Gli articoli sono organizzati in 372 famiglie di risultati, che raggruppano scoperte correlate. Secondo l’azienda, il lavoro è frutto di un modello di frontiera non ancora rilasciato e comprende soluzioni a «centinaia» di problemi aperti, secondo la valutazione di un gruppo consultivo indipendente di matematici (AGMAI). OpenAI ha condiviso anche brevi riepiloghi dei ragionamenti, stime delle risorse di calcolo utilizzate e il numero di problemi affrontati.
Come è stata gestita la pubblicazione
OpenAI ha annunciato che per ogni articolo sarà disponibile nel repository un protocollo per le revisioni e le citazioni. L’azienda ha dichiarato che continuerà a valutare le opzioni ospitate dalla community che rispettano le linee guida di AGMAI. Il gruppo consultivo, istituito all’inizio di quest’anno, aveva esortato i laboratori di AI a pubblicare i risultati attraverso i canali accademici consolidati e a non usare le scoperte come strumenti di marketing.
Perché conta
Per i matematici, gli articoli aggiungono un vasto insieme di nuovi risultati da verificare e potrebbero accelerare la ricerca in alcuni ambiti. Per il pubblico più ampio, la pubblicazione mostra come l’AI possa generare soluzioni matematiche formali, ma solleva anche interrogativi su come attribuire il merito di questo lavoro e verificarlo prima di utilizzarlo.
