Il 7 ottobre 2026 la cronologia del repository di OpenAI ha registrato il ritiro di tre manoscritti matematici: un errore di segno aveva invalidato un argomento e una costruzione impiegati anche in due lavori dipendenti. Il giorno prima OpenAI aveva pubblicato un ampio archivio di risultati matematici, criticato dall’Association for Human Mathematics (AHM).
OpenAI ritira tre manoscritti matematici
Secondo la cronologia del repository, l’errore riguardava un argomento di cancellazione della traccia di stabilizzazione. La costruzione coinvolta era stata usata anche in due manoscritti dipendenti; per questo OpenAI ha ritirato tre lavori. La voce del 7 ottobre registra anche altre modifiche al repository.
I tre manoscritti ritirati sono Algebraicity of Weil classes on split abelian eightfolds, Algebraicity of Kuga–Satake Correspondences for K3 Surfaces e The rational Hodge conjecture for products of K3 surfaces.
La critica dell’AHM alla pubblicazione
OpenAI ha pubblicato il suo annuncio matematico il 6 ottobre 2026. In risposta al rilascio, l’AHM ha contestato la scelta di diffondere in un solo blocco oltre 700 file, sostenendo che la quantità pubblicata non equivale a una dimostrazione di rigore scientifico. L’associazione ha invitato i matematici a interrompere il proprio lavoro con OpenAI e a riportare al centro della ricerca la comprensione umana.
Il precedente annuncio di OpenAI sul problema di Navier–Stokes è un episodio distinto, già ricostruito da NeoTeo in un approfondimento dedicato.
La posizione di OpenAI sulle modalità di pubblicazione
OpenAI ha descritto il repository come una raccolta pubblicata con procedure di revisione dei lavori e di gestione delle citazioni. L’azienda ha dichiarato di aver consultato l’Institute for Advanced Study Advisory Group on Mathematics and Artificial Intelligence e di stare integrando le sue raccomandazioni pubbliche nelle pratiche di pubblicazione.
OpenAI ha inoltre indicato che il rilascio comprendeva dieci sintesi del ragionamento del modello, stime del calcolo espresse in equivalenti d’uso di ChatGPT Pro e statistiche sui problemi tentati. L’azienda ha riferito una media di circa tre ore di calcolo di ragionamento equivalente a ChatGPT Pro per risultato.
Che cosa indica il dato su Lean
Nella cronologia del 7 ottobre, OpenAI ha riportato che 300 dei 719 risultati conteggiati come principali erano formalizzati in Lean, circa il 42%. Lean è un assistente per le dimostrazioni formali: permette di codificare una prova in una forma che il sistema può controllare rispetto alle definizioni e alle ipotesi inserite.
Quel conteggio indica quanti risultati avevano una formalizzazione in Lean in quella specifica registrazione del repository. La verifica riguarda la prova codificata; non sostituisce il lavoro matematico necessario per valutare la formulazione, il significato e l’utilità di un risultato.
Le altre modifiche registrate nel repository
La cronologia del 7 ottobre elenca anche 14 manoscritti revisionati, 13 aggiornamenti delle citazioni in altri manoscritti e sei ulteriori formalizzazioni. Sono interventi distinti dai tre ritiri, registrati nella stessa voce del repository.
