OpenAI ha rilasciato un corpus di 722 manoscritti che, secondo l'azienda, contengono soluzioni a centinaia di problemi matematici aperti, sviluppate da un modello di frontiera non ancora distribuito. I documenti coprono 372 famiglie di risultati, raggruppando paper correlati, e rappresentano l'ultima di una serie di scoperte che stanno scuotendo la comunità matematica. La notizia era attesa da settimane, ma fino ad ora OpenAI non aveva fornito dettagli su quali problemi fossero stati risolti né su quando sarebbero stati pubblicati.
Dettagli e raccomandazioni
Stando a AGMAI, il gruppo consultivo indipendente formato da matematici di alto profilo per comunicare i risultati in modo responsabile, il rilascio include soluzioni a centinaia di questioni aperte. I paper pubblicati includono anche riassunti del ragionamento del modello, stime del calcolo utilizzato e statistiche sul numero di problemi affrontati. OpenAI afferma che il risultato medio ha richiesto l'equivalente di tre ore di pensiero di ChatGPT Pro. A settembre, l'azienda aveva dichiarato che il suo modello aveva risolto più di 100 problemi aperti di lunga data in quasi tutte le aree della matematica.
AGMAI aveva pubblicato le sue prime raccomandazioni a fine settembre, esortando i laboratori di intelligenza artificiale a rilasciare i risultati matematici prontamente e attraverso canali accademici consolidati, divulgando dettagli come il nome del modello, i prompt e i costi di calcolo. Il gruppo ha anche invitato le aziende a non trattare il rilascio di risultati matematici come veicolo di marketing, pratica che, secondo loro, danneggia gravemente la comunità matematica. OpenAI ha risposto pubblicando i risultati su un repository GitHub con protocolli per revisioni e citazioni, impegnandosi a migliorare la qualità dei paper in futuro.
Impatti e dibattito etico
L'impatto completo di questi risultati richiederà tempo per essere valutato, mentre i matematici li esaminano e li digeriscono. Si aggiungono a un corpo in rapida crescita di scoperte matematiche prodotte da OpenAI e da laboratori rivali come Anthropic, che il settore sta ancora processando, inclusi risultati su un problema del Premio del Millennio. La velocità con cui i laboratori di IA sono penetrati nella disciplina quest'anno, e in particolare la gestione degli annunci, ha acceso un acceso dibattito su pratiche di ricerca, etica e riconoscimento del lavoro dei matematici umani su cui questi sistemi si basano.
