La matematica di OpenAI alla prova dei fatti: tra annunci di massa e ritiri immediati

Il 6 ottobre 2026, OpenAI ha annunciato una serie di risultati matematici prodotti da un proprio modello interno di frontiera, non rilasciato e privo di nome. I manoscritti sono stati depositati nel repository GitHub pubblico "openai/math" sotto licenza Apache-2.0. Secondo la documentazione, la maggior parte dei risultati è stata ottenuta sottoponendo circa quattromila problemi al modello, con un calcolo stimato, per il risultato medio, in circa tre ore di "thinking" di ChatGPT Pro. L'iniziativa arriva dopo le critiche dei matematici alle affermazioni di agosto, quando OpenAI aveva rivendicato risultati su problemi aperti, tra cui un lavoro su Navier-Stokes. In seguito è nato l'Advisory Group on Mathematics and Artificial Intelligence (AGMAI), presso l'Institute for Advanced Study, per definire buone pratiche di pubblicazione.

Sebbene OpenAI dichiari di aver consultato l'AGMAI e di averne parzialmente seguito le raccomandazioni — pubblicando stime di calcolo, statistiche e annunciando il finanziamento di futuri workshop —, il rilascio non soddisfa pienamente i criteri del gruppo. Le linee guida pubblicate dall'AGMAI il 29 settembre 2026 richiedono infatti di depositare i risultati in archivi non controllati dai laboratori di provenienza e di rendere pubblici i modelli per consentire la riproducibilità. L'AGMAI ha inoltre dichiarato di non approvare la pratica di sottoporre problemi matematici avanzati a modelli proprietari («we do not endorse this practice») e ha ribadito che la comprensione umana della matematica resta di primaria importanza.

La fragilità di una pubblicazione così massiccia è emersa il giorno successivo al lancio. Il registro delle revisioni, alla data del 7 ottobre, riporta il ritiro di tre manoscritti: un errore di segno in uno studio sulle classi di Weil ha invalidato l'argomentazione principale, compromettendo anche due lavori derivati. Il registro riporta inoltre correzioni a quattordici manoscritti e l'aggiornamento dei riferimenti in altri tredici. Attualmente i risultati principali formalizzati in Lean sono 300 su 719, circa il 42%. Per quelli non formalizzati è la stessa OpenAI ad avvertire che alcuni «potrebbero avere problemi». Come osservato da Annemarije de Boer su Yahoo Tech, la stessa verifica formale non è comunque sufficiente a stabilire se un risultato sia effettivamente nuovo, significativo o correttamente impostato. La selezione dei risultati è stata fatta da OpenAI, nessuno risulta sottoposto a peer review e la raccolta non è stata valutata in modo indipendente. Poiché il modello non è nominato né accessibile, la generazione non è riproducibile.

Un rilascio di questa scala sposta sulla comunità matematica una parte consistente del lavoro di verifica: tre ritiri e decine di correzioni in un giorno lo mostrano. L'automazione della scrittura non coincide con l'automazione della verità. — Olya