OpenAI ha pubblicato 722 manoscritti matematici prodotti da un modello di frontiera interna inedito, collocando l'intera raccolta in un repository GitHub pubblico con una licenza Apache-2.0. Il rilascio, annunciato in un post di ricerca intitolato "Condividere i progressi dell'intelligenza artificiale in matematica" il 6 ottobre 2026, è tra i più grandi dump singoli di risultati matematici generati dall'intelligenza artificiale fino ad oggi e arriva con controlli formali di prova Lean, riepiloghi di ragionamento abbreviati e dettagli insoliti sulla quantità di calcolo consumata da ciascun risultato.
La mossa atterra in un campo già al limite. Il New York Times ha riferito che il rilascio ha ulteriormente scosso una comunità matematica che ha passato mesi alle prese con sistemi di intelligenza artificiale che producevano seri risultati di ricerca, mentre Scientific American ha descritto OpenAI come se avesse scatenato "centinaia di altri risultati matematici in un campo già sotto shock". Per i lettori che seguono gli ultimi sviluppi della ricerca sull’intelligenza artificiale, il comunicato è un caso di prova su come i laboratori di frontiera condividono la scienza generata dalle macchine senza innescare controversie sul credito.
Cosa c'è all'interno del repository
La raccolta si trova nel repository openai/math su GitHub. Secondo il suo README, i contenuti sono manoscritti matematici e artefatti di prova di supporto prodotti da un modello OpenAI interno, assemblati come parte di valutazioni di sviluppo del modello su problemi di ricerca aperti. Il catalogo attuale contiene 722 manoscritti organizzati in 372 famiglie, dove una famiglia raggruppa documenti correlati che possono includere un risultato principale, argomentazioni complementari, conseguenze o prove alternative, ciascuno classificato per disciplina matematica.
Una directory di prestamp contiene PDF, file sorgente, citazioni per manoscritto e istruzioni per la creazione. Una libreria Lean cataloga le prove formali insieme ai documenti associati e alle configurazioni di verifica. Non tutti i manoscritti sono stati formalizzati: molti risultati sono accompagnati da formalizzazioni in Lean, il linguaggio di programmazione utilizzato per consentire ai computer di controllare le bozze riga per riga, ma il README avverte che alcuni risultati non formalizzati potrebbero contenere problemi. OpenAI afferma che risolverà rapidamente tali problemi e si impegna a preservare la cronologia delle versioni pubbliche della raccolta, registrando correzioni e revisioni come nuove versioni mantenendo accessibili le versioni precedenti. Ogni directory del manoscritto contiene anche un blocco BibTeX per la citazione.
Come sono stati prodotti i risultati
La stragrande maggioranza dei risultati è arrivata da un’unica procedura fissa utilizzando un modello OpenAI interno inedito. Nel corso della valutazione sono stati posti al modello circa 4.000 problemi. OpenAI riferisce che il risultato medio pubblicato ha consumato l'equivalente di circa tre ore di elaborazione pensata da ChatGPT Pro, un livello di trasparenza ancora raro nel settore. L’azienda afferma di aver ampliato queste valutazioni una volta saturate le prestazioni dei parametri matematici esistenti e che alcuni risultati si basano su risultati precedenti prodotti dai suoi stessi modelli. Richiedendo un adeguato livello di significatività e aggregando i risultati grezzi in famiglie e manoscritti si è prodotto il catalogo pubblicato.
Due eccezioni nominate si sono discostate da quella procedura: il lavoro che stabilisce una regione priva di zero per la funzione zeta di Riemann, con il resoconto che copre la regione Re(s) > 11/12 modificato dall'uomo per la leggibilità, e una prova della congettura di Hodge per le varietà abeliane CM. Entrambi sono seri matematici tradizionali, ed entrambi dovranno ora affrontare il controllo della comunità.
Vengono inoltre pubblicate dieci sintesi riassuntive delle argomentazioni del modello. Coprono risultati tra cui l'esponente di irrazionalità di pi greco, le congetture simmetriche e generali di Mahler, l'isomorfismo dei fattori di gruppo liberi, i limiti quasipolinomiali per le progressioni aritmetiche, la congettura di finitezza diretta di Kaplansky nella caratteristica due, la formula di Mezard-Parisi per vetri di spin diluiti, la magnetizzazione spontanea nel ferromagnete quantistico di Heisenberg e il sistema relativistico tridimensionale di Vlasov-Maxwell.
Un gruppo consultivo ha contribuito a dare forma al rilascio
OpenAI afferma di aver consultato il gruppo consultivo indipendente sulla matematica e l'intelligenza artificiale presso l'Institute for Advanced Study mentre sviluppava le migliori pratiche per la condivisione dei risultati. Quel gruppo ha pubblicato le sue raccomandazioni sul rilascio responsabile il 29 settembre 2026, dopo aver ricevuto più di 600 risposte dalla comunità matematica. Le raccomandazioni sono schiette: "non approviamo questa pratica e chiediamo loro di smettere di testare problemi matematici avanzati su modelli proprietari". Il gruppo esorta i laboratori a depositare i risultati in archivi accademici che nessun laboratorio di intelligenza artificiale controlla, ad assegnare identificatori citabili persistenti, a rivelare il nome del modello, i suggerimenti utilizzati e le catene di ragionamento riassunte e ad astenersi dal trattare i rilasci dei risultati come veicoli di marketing.
Il rilascio di OpenAI è chiaramente un tentativo di conformarsi a tale quadro piuttosto che sfidarlo. Se la comunità lo accetterà è un’altra questione. L'indagine del gruppo consultivo ha chiesto specificamente uno scenario in cui un laboratorio annuncia l'esistenza di molti risultati senza fornire dettagli, e le raccomandazioni emerse riflettono una profonda preoccupazione per gli annunci che superano la verifica.
L'onere della verifica passa ai matematici
La sfida pratica ora appartiene ai matematici che lavorano. Le dimostrazioni Lean formali possono essere controllate meccanicamente e la loro presenza riduce sostanzialmente il rischio di errore. Ma i manoscritti senza formalizzazioni, che lo stesso README segnala come potenzialmente difettosi, richiedono la tradizionale revisione tra pari, e i manoscritti 722 vanno ben oltre ciò che la comunità può assorbire rapidamente. C’è anche la questione della priorità e del credito: i matematici che hanno trascorso anni a contatto con questi problemi vorranno sapere esattamente cosa è stato chiesto al modello, cosa gli è stato dato e se è stato incorporato qualche risultato umano. La pubblicazione di riepiloghi dei prompt e statistiche di calcolo di OpenAI è progettata per rispondere in anticipo ad alcune di queste domande.
Il comunicato definisce inoltre un modello che i concorrenti potrebbero essere obbligati a seguire. Anthropic, Google DeepMind e altri laboratori con modelli di frontiera in grado di eseguire calcoli matematici a livello di ricerca ora si trovano ad affrontare una norma de facto, articolata dal gruppo consultivo, secondo cui i risultati nascosti su modelli proprietari dovrebbero essere rilasciati con piena provenienza o non essere affatto divulgati.
Per ora, il repository è attivo, lo sforzo di formalizzazione è in corso e le correzioni vengono rese pubbliche. Se questo diventerà il manuale standard per la matematica generata dall’intelligenza artificiale, o un altro punto critico in un conflitto crescente tra i laboratori e le comunità di ricerca da cui attingono, dipenderà da come andranno le prossime settimane di esame.
Resta al passo con la curva dell'intelligenza artificiale
La scienza generata dall’intelligenza artificiale si sta spostando dal comunicato stampa alla revisione tra pari. Segui le ultime notizie sull'intelligenza artificiale su aibuzzwire.news per la copertura di ogni importante pubblicazione di ricerche, lancio di modelli e cambiamenti politici.
Leggi altre notizie sull'AI →
