OpenAI ha reso pubblici 722 manoscritti che coprono 372 famiglie di risultati matematici, includendo soluzioni a problemi di lunga data. La raccolta è disponibile su un repository GitHub dedicato e arriva dopo l'annuncio di settembre, quando l'azienda aveva dichiarato che un suo modello aveva risolto oltre 100 problemi aperti in quasi tutti i settori della matematica.
Cosa contengono i manoscritti
Secondo l'AGMAI, il Gruppo Consultivo Indipendente su Matematica e Intelligenza Artificiale, i materiali includono soluzioni a centinaia di quesiti ancora aperti. OpenAI ha aggiunto 10 riepiloghi del ragionamento del modello, statistiche sui problemi affrontati e stime della potenza di calcolo utilizzata. Il risultato medio avrebbe richiesto una potenza equivalente a circa tre ore di utilizzo di ChatGPT Pro. Particolarmente rilevante è la presenza delle formalizzazioni in Lean di molte dimostrazioni, uno strumento che permette di verificarne matematicamente la correttezza tramite computer.
Trasparenza e dubbi della comunità
La pubblicazione arriva in un momento delicato per il rapporto tra IA e ricerca matematica. L'AGMAI ha chiesto ai laboratori di divulgare i risultati attraverso canali accademici consolidati, fornendo modello, parametri e costi computazionali, ed evitando di usarli come mero strumento di marketing. OpenAI afferma di aver seguito queste indicazioni, scegliendo un repository con protocolli per revisione e citazioni, e si dice al lavoro su ulteriori modalità di pubblicazione gestite dalla comunità scientifica.
Il nodo centrale resta la verifica indipendente: saranno i matematici a dover analizzare le dimostrazioni e stabilire quali rappresentino progressi reali. La raccolta si aggiunge a un corpus crescente di risultati prodotti da laboratori come Anthropic, con casi che hanno toccato anche uno dei Millennium Prize Problems. OpenAI intende finanziare workshop e conferenze per favorire l'analisi, ma il vero banco di prova sarà la capacità di questi risultati di resistere al controllo e diventare conoscenza matematica condivisa.
