Il 6 ottobre 2026 OpenAI ha pubblicato su GitHub 722 manoscritti di matematica prodotti da un modello frontier interno non ancora rilasciato. I testi sono organizzati in 372 famiglie di risultati, con prove, materiali di supporto e, per molti casi, formalizzazioni in Lean verificabili da un computer. Secondo il gruppo indipendente AGMAI (Advisory Group on Mathematics and Artificial Intelligence), il pacchetto includerebbe soluzioni a «centinaia» di problemi aperti. La scelta di mettere tutto online in un repository, e non ancora su canali accademici tradizionali, ha riacceso il dibattito su etica della ricerca e crediti ai matematici umani.
Cosa c'è nel repository ufficiale
Il catalogo pubblico raggruppa paper correlati in famiglie: risultato principale, argomenti companion, conseguenze o prove alternative, classificati per disciplina. Accanto ai PDF e ai file sorgente ci sono protocolli per revisioni e citazioni, cosicché le versioni precedenti restino accessibili. OpenAI ha aggiunto anche 10 sintesi abbreviate del ragionamento del modello, stime del compute impiegato e statistiche sui problemi tentati: in media, ogni risultato avrebbe richiesto l'equivalente di circa tre ore di «thinking» di ChatGPT Pro con il modello interno.
Molte, ma non tutte, le dimostrazioni sono accompagnate da certificati Lean. L'azienda ha scritto che aggiornerà il repository con altre formalizzazioni man mano che le ottiene, e che non tutti i risultati non formalizzati sono esenti da possibili errori. Nessuno dei manoscritti è passato da peer review tradizionale: il punto di partenza è il materiale grezzo e i check automatici, non una rivista.
AGMAI, trasparenza e il nodo dei crediti
OpenAI dice di aver consultato l'AGMAI, gruppo indipendente dell'Institute for Advanced Study, e di aver tenuto conto delle sue raccomandazioni pubbliche. Quelle linee guida chiedono di pubblicare i risultati in tempi rapidi e, dove possibile, su canali accademici consolidati, dichiarando modello usato, prompt e costi di compute, e di non trattare i breakthrough matematici come veicoli di marketing. Sul compute l'azienda ha indicato medie e aggregati; sul modello e sui prompt singoli la disclosure resta parziale rispetto a quanto chiesto dal gruppo.
La stessa OpenAI ammette di stare ancora esplorando alternative «community-hosted» che rispettino meglio le linee AGMAI. Sul piano culturale, la corsa dei laboratori frontier ha già provocato tensioni su come riconoscere il lavoro dei matematici umani su cui i sistemi si appoggiano: chi segue AI e ricerca pura in Italia può leggere il rilascio come un test di trasparenza più che come una lista di teoremi già «chiusi».
Cosa è ufficiale (e cosa resta da verificare)
È ufficiale il repository, il conteggio dei manoscritti e delle famiglie, l'origine da un modello interno non pubblico, la presenza di formalizzazioni Lean per una parte dei risultati e l'impegno dichiarato a rilasciare il modello «in modo responsabile» quanto prima. Non è ufficiale, invece, che ogni singolo risultato sia corretto, nuovo o già compreso: fonti di settore riportano che anche i matematici interni all'azienda non hanno ancora digerito molti dei paper appena messi online.
Per chi in Italia segue AI e matematica il messaggio pratico è chiaro: si può leggere e citare il materiale pubblico, controllare i Lean dove ci sono, e trattare il resto come ipotesi da validare. Il modello che ha prodotto i 722 manoscritti non è scaricabile; fino a quel rilascio, riprodurre i claim «in un solo tentativo» resta fuori dalla portata della community. Il passo successivo non è un listino o un'app: è la verifica collettiva, famiglia per famiglia.