OpenAI ha annunciato la pubblicazione di un ampio set di risultati matematici ottenuti da un modello interno di frontiera. L’obiettivo è migliorare il modo in cui le scoperte vengono condivise con la comunità matematica, garantendo trasparenza, verificabilità e accessibilità.

Collaborazione con il gruppo consultivo

Per definire le migliori pratiche, OpenAI si è consultata con l’Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study. Il gruppo ha fornito raccomandazioni pubbliche (link) che hanno influenzato le scelte di pubblicazione e i protocolli di citazione.

Rilascio su GitHub

I risultati sono stati caricati in un repository GitHub, dove sono disponibili:

File PDF dei lavori con indicazioni per le revisioni future;
Linee guida per le citazioni corrette dei risultati;
Formalizzazioni dei dimostrazioni in Lean, il linguaggio di programmazione per la verifica automatica delle prove;
Documentazione aggiuntiva sulla procedura di generazione dei risultati.

OpenAI sta valutando altre piattaforme gestite dalla comunità che rispettino le linee guida del comitato, al fine di ampliare le opzioni di distribuzione.

Formalizzazioni in Lean

Una parte significativa del lavoro consiste nella traduzione delle dimostrazioni in Lean, permettendo a chiunque di verificare la correttezza delle prove mediante un computer. Il repository verrà aggiornato con ulteriori formalizzazioni man mano che saranno disponibili, favorendo un dialogo continuo tra ricercatori umani e strumenti automatizzati.

Trasparenza dei processi computazionali

Per garantire la massima trasparenza, il repository include dettagli sul consumo di risorse computazionali. Sono stati forniti:

10 sintesi del ragionamento del modello;
Stime del tempo di calcolo impiegato, espresso in termini di utilizzo di ChatGPT Pro;
Statistiche sul numero di problemi tentati e risolti.

In media, ogni risultato ha richiesto l’equivalente di circa tre ore di utilizzo di ChatGPT Pro.

Impegni per il futuro

OpenAI intende promuovere l’avanzamento della conoscenza umana finanziando una serie di workshop, conferenze e programmi speciali dedicati all’analisi dei risultati più rilevanti prodotti dall’IA. Ulteriori informazioni su queste iniziative saranno comunicate a breve.

Responsabilità e feedback della comunità

L’azienda si propone di dare agli scienziati strumenti all’avanguardia, rilasciando in modo responsabile il modello che ha generato questi risultati. Questo comporta una continua valutazione delle capacità del modello nei campi della matematica e delle scienze, con l’obiettivo di accelerare lo sviluppo di strumenti utili per la ricerca.

OpenAI continuerà a raccogliere feedback dalla comunità, aggiornando le proprie linee guida per le future divulgazioni di scoperte scientifiche di grande impatto.