Il 7 ottobre 2026, OpenAI ha registrato il ritiro di tre manoscritti dalla raccolta matematica annunciata il giorno prima, dopo aver individuato un errore di segno. La cronologia segnala anche correzioni alle dimostrazioni di altri 14 manoscritti e aggiornamenti di citazioni o versioni per altri 13. Il catalogo è passato così dai 722 manoscritti del lancio a 719.

La nuova raccolta segue un precedente annuncio matematico di OpenAI, dedicato alle equazioni di Navier–Stokes, raccontato da NeoTeo in un approfondimento separato.

OpenAI registra ritiri e revisioni dei manoscritti

L’errore di segno riguardava un argomento di cancellazione della traccia di stabilizzazione e invalidava tre manoscritti collegati. OpenAI li ha ritirati. La cronologia distingue questa decisione dagli altri interventi: 14 manoscritti hanno ricevuto correzioni alle dimostrazioni, mentre 13 sono stati aggiornati per modifiche a citazioni o versioni.

Sono cambiamenti diversi: i tre ritiri riducono il numero di testi nel catalogo; le correzioni e gli aggiornamenti riguardano altri manoscritti. La revisione registrata da OpenAI non ha modificato il totale delle famiglie di risultati.

Da 722 manoscritti iniziali a 719 nell’elenco successivo

OpenAI ha annunciato la raccolta il 6 ottobre 2026: il catalogo iniziale contava 722 manoscritti in 372 famiglie di risultati. Dopo i tre ritiri, il repository ne elenca 719, sempre in 372 famiglie.

Una famiglia può raccogliere un risultato principale insieme a dimostrazioni collegate, conseguenze o prove alternative. Per questo il numero dei manoscritti non equivale al numero di problemi distinti risolti. OpenAI ha riferito che al modello interno sono stati sottoposti circa 4.000 problemi; il catalogo pubblicato è una selezione, non un conteggio dei problemi risolti su quelli proposti.

Che cosa indica il conteggio di Lean

OpenAI ha riferito che 300 dei 719 risultati principali sono formalizzati in Lean, circa il 42%. Lean è un assistente per la dimostrazione formale: permette di sottoporre a controllo automatico una prova tradotta in un linguaggio matematico preciso, sulla base delle definizioni e delle ipotesi codificate.

Questa formalizzazione è distinta dalla revisione matematica indipendente: il conteggio riferito da OpenAI riguarda i risultati formalizzati, non quelli accettati da una comunità di esperti. La raccolta comprende lavori in fasi di verifica diverse; OpenAI avverte che alcuni risultati non formalizzati potrebbero contenere problemi.