OpenAI pubblica 722 manoscritti di matematica da un modello IA non rilasciato

In un post di ricerca pubblicato 6 ottobre 2026, OpenAI ha dichiarato di rilasciare una vasta gamma di nuovi risultati matematici prodotti da un modello interno di frontiera non rilasciato, pubblicando 722 manoscritti organizzati in 372 famiglie in un repository pubblico su GitHub insieme a formalizzazioni di dimostrazioni in Lean e a sintesi abbreviate del ragionamento del modello.

All’interno del repository GitHub

I risultati sono pubblicati nel repository openai/math, rilasciato sotto licenza Apache-2.0. Il suo README descrive il contenuto come manoscritti matematici e artefatti di dimostrazioni di supporto prodotti da un modello interno di OpenAI, assemblati nell’ambito di valutazioni di sviluppo del modello su problemi di ricerca aperta.

Il catalogo attuale contiene 722 manoscritti organizzati in 372 famiglie. Una famiglia raggruppa documenti correlati, che possono includere un risultato principale, argomentazioni complementari, conseguenze o dimostrazioni alternative, e ogni famiglia è classificata per disciplina matematica. Una directory di preprint contiene PDF, file sorgente e istruzioni di citazione e compilazione specifiche per ciascun manoscritto, mentre una libreria Lean e un catalogo di formalizzazioni descrivono le dimostrazioni formali disponibili, i relativi articoli e le configurazioni di verifica.

La collezione copre diverse fasi di verifica. Molti manoscritti hanno formalizzazioni associate in Lean, un linguaggio di programmazione che consente di verificare le dimostrazioni matematiche con un computer, ma non tutti le hanno. Il README avverte che alcuni dei risultati non formalizzati potrebbero presentare problemi, e OpenAI dichiara che si impegnerà a correggere tali problemi rapidamente aggiornando il repository con ulteriori formalizzazioni non appena saranno disponibili. OpenAI afferma inoltre che conserverà la cronologia pubblica del rilascio della collezione, registrando correzioni e revisioni come nuove versioni mantenendo accessibili le versioni precedentemente rilasciate, e ogni directory del manoscritto contiene un blocco BibTeX per le citazioni.

Come sono stati prodotti i risultati

Secondo il README, la stragrande maggioranza dei risultati è stata ottenuta con la stessa procedura utilizzando un modello interno di OpenAI non rilasciato. Nel corso della valutazione, al modello sono stati posti circa 4.000 problemi, e OpenAI riferisce che il risultato medio ha richiesto una potenza computazionale equivalente a circa tre ore di ragionamento di ChatGPT Pro. Il README afferma che OpenAI ha ampliato queste valutazioni dopo che le prestazioni sui suoi test matematici esistenti erano saturate, e che alcuni output si basano su risultati precedenti prodotti dai suoi modelli. Richiedendo un livello di significatività appropriato e aggregando i risultati in famiglie e manoscritti è stato prodotto il catalogo pubblicato.

Due a due eccezioni nominate si è deviato da quella procedura fissa: lavoro su una regione senza zeri per la funzione zeta di Riemann e una dimostrazione della congettura di Hodge per varietà abeliane CM. Il documento che tratta la regione senza zeri Re(s) > 11/12 per la funzione zeta di Riemann è stato modificato manualmente per migliorarne la leggibilità.

Il repository pubblica anche 10 sintesi abbreviate del ragionamento del modello. Esse trattano risultati su correlazioni a due punti di funzioni moltiplicative, l’esponente di irrazionalità di π, le congetture di Mahler simmetrica e generale, la NP-durezza ordinaria al limite semidefinito di base, limiti quasipolinomiali per progressioni aritmetiche, la congettura di finitezza diretta di Kaplansky in caratteristica due, la formula di Mézard–Parisi per vetri di spin diluiti, la magnetizzazione spontanea nel ferromagnete quantistico di Heisenberg, l’isomorfismo dei fattori di gruppo libero e il sistema relativistico tridimensionale Vlasov–Maxwell.

OpenAI ha dichiarato di pubblicare questi dettagli aggiuntivi, comprese le stime di calcolo espresse in termini di utilizzo di ChatGPT Pro e le statistiche sul numero di problemi tentati, per promuovere la trasparenza e l’apertura scientifica.

Raccomandazioni del gruppo consultivo

OpenAI ha dichiarato di aver consultato il gruppo consultivo indipendente su Matematica e Intelligenza Artificiale presso l’Institute for Advanced Study per sviluppare le migliori pratiche per condividere i risultati con la comunità matematica, e che ha attinto ai consigli del gruppo e alle raccomandazioni pubbliche per guidare questo rilascio.

Il gruppo consultivo ha pubblicato le sue raccomandazioni per il rilascio responsabile il 29 settembre 2026, dopo aver ricevuto più di 600 risposte dalla comunità matematica, e afferma che le raccomandazioni sono sostenute da una chiara pluralità di intervistati. Una nota a piè di pagina indica che il sondaggio chiedeva di una situazione specifica in cui OpenAI ha annunciato l’esistenza di molti risultati senza fornire dettagli. Il documento inizia osservando che alcuni laboratori di IA di frontiera stanno testando problemi matematici avanzati su modelli proprietari che rimangono inaccessibili alla più ampia comunità scientifica, per poi dichiarare: “non approviamo questa pratica e chiediamo loro di smettere di testare problemi matematici avanzati su modelli proprietari.”

Le raccomandazioni chiedono che i risultati siano depositati in repository accademici che nessun laboratorio di IA controlla, con identificatori persistenti citabili e modifiche registrate in modo appropriato, e invitano i laboratori a non trattare il rilascio dei risultati come veicoli di marketing per i loro modelli. Per ogni risultato rilasciato, il gruppo afferma che i laboratori dovrebbero rendere pubblico il nome del modello, i prompt utilizzati, una catena di ragionamento riassunta, il tempo impiegato e il costo stimato della computazione, e dichiara che le dimostrazioni dovrebbero essere formalizzate il più possibile. Quando molti risultati vengono rilasciati contemporaneamente, le raccomandazioni prevedono un ulteriore documento pubblico che li citi tutti e spieghi quanti altri problemi di difficoltà comparabile i modelli hanno provato a risolvere senza successo, nonché come sono stati scelti i problemi.

Il gruppo raccomanda inoltre che i laboratori forniscano un supporto significativo, compreso il finanziamento, per lo sviluppo della comprensione umana dell’output generato dall’IA, citando conferenze, scuole estive, workshop mirati, gruppi di lavoro a lungo termine e libri o lunghi articoli espositivi come attività candidate. Afferma che le decisioni su quali iniziative sostenere dovrebbero spettare a istituzioni no‑profit esistenti piuttosto che essere dirette dai laboratori, e consiglia di garantire alla comunità matematica globale un accesso ampio ed equo ai modelli disponibili pubblicamente.

OpenAI ha dichiarato di continuare a esplorare altre alternative ospitate dalla comunità per questo rilascio che soddisfino le linee guida del comitato, e di essere impegnata a migliorare le citazioni, l’esposizione matematica e la presentazione dei risultati nelle future pubblicazioni.

Contesto del Modello Interno e Prossimi Passi

La frase “internal frontier model” nel post di OpenAI rimanda all’annuncio del 8 settembre 2026 del laboratorio, in cui si afferma che un sistema interno di OpenAI ha prodotto una dimostrazione, con una formalizzazione in Lean, che mostra che il moto fluido tridimensionale liscio governato dalle equazioni di Navier–Stokes può sviluppare una singolarità in tempo finito. OpenAI ha dichiarato che il risultato risolve un problema che il Clay Mathematics Institute ha indicato tra i suoi sette Millennium Prize Problems nel 2000, e che non intende rivendicare il Millennium Prize per esso. In quel post, OpenAI ha affermato che il modello interno utilizzato è significativamente più capace di GPT-6 Astra, che lo sta addestrando dal 28 agosto 2026, che ha avviato un’iniziativa di valutazione sui problemi del Millennium Prize il 1° settembre 2026, e che i suoi agenti hanno raggiunto la risoluzione il 5 settembre 2026.

OpenAI ha dichiarato che finanzierà una serie di workshop, conferenze e programmi speciali sull’interpretazione dei risultati principali prodotti dall’IA, e condividerà ulteriori dettagli a breve. Ha anche affermato di stare lavorando per rilasciare responsabilmente il modello che ha prodotto questi risultati, e che continuerà ad agire in base al feedback della comunità e ad aggiornare i propri standard per le future divulgazioni di importanti progressi scientifici.