Condividere i progressi dell’IA in matematica

Pubblichiamo un’ampia serie di nuovi risultati matematici ottenuti con un modello interno di frontiera.

Per definire modalità standard di condivisione dei risultati con la comunità matematica, ci siamo confrontati con il Gruppo consultivo indipendente su matematica e intelligenza artificiale dell’Institute for Advanced Study⁠(si apre in una nuova finestra) per elaborare buone pratiche. Stiamo integrando i suoi consigli e le sue raccomandazioni pubbliche⁠(si apre in una nuova finestra) nelle modalità di pubblicazione di questi risultati.

Per questa pubblicazione, rendiamo disponibili i risultati in un repository GitHub, con protocolli per la revisione degli articoli e le citazioni. Continuiamo a esplorare altre piattaforme gestite dalla comunità su cui pubblicare questi risultati nel rispetto delle linee guida del comitato. Per le pubblicazioni future, ci impegniamo a migliorare ulteriormente la qualità degli articoli curando le citazioni, l’esposizione matematica e la presentazione dei risultati, così da facilitarne la comprensione.

Nel nostro repository GitHub condividiamo le formalizzazioni di molte dimostrazioni in Lean, un linguaggio di programmazione che consente di verificare le dimostrazioni matematiche al computer. Aggiorneremo il repository con altre formalizzazioni man mano che le otterremo.

Per promuovere la trasparenza e l’apertura nella ricerca scientifica, pubblichiamo nel repository anche ulteriori dettagli su come abbiamo ottenuto i risultati. Questi includono 10 sintesi del ragionamento del modello, stime delle risorse di calcolo impiegate espresse in termini di utilizzo di Pro su ChatGPT e statistiche sul numero di problemi che si è tentato di risolvere. In media, ogni risultato ha richiesto risorse di calcolo equivalenti a circa tre ore di ragionamento di ChatGPT Pro.

Vogliamo che questi progressi amplino i confini della conoscenza umana e rendano possibili ulteriori passi avanti in matematica. Finanzieremo una serie di workshop, conferenze e programmi dedicati alla comprensione dei principali risultati ottenuti dall’IA. Condivideremo maggiori dettagli nel prossimo futuro.

Vogliamo mettere capacità all’avanguardia direttamente nelle mani degli scienziati e stiamo lavorando per rendere disponibile in modo responsabile il modello che ha prodotto questi risultati. Per questo è importante continuare a valutare i nostri modelli interni di frontiera in matematica e nelle altre scienze, così da accelerare lo sviluppo di strumenti che facciano progredire queste discipline. Continueremo a dare seguito ai riscontri della comunità e ad aggiornare i nostri standard per la futura divulgazione di importanti progressi scientifici.