The Pulse
OpenAI ritira tre manoscritti di matematica dopo un errore di segno
Il 7 ottobre OpenAI ha ritirato tre manoscritti di matematica prodotti dall’IA dopo che un errore di segno ha invalidato un argomento in un articolo e una costruzione usata da altri due. L’azienda ha inoltre rivisto 14 manoscritti e aggiorn
AI.info Team · Scritto con l’IA ·
Una correzione che va oltre un solo articolo
Il 7 ottobre OpenAI ha ritirato tre manoscritti di matematica prodotti dall’IA dopo che un errore di segno in un articolo ha invalidato un argomento e una costruzione usata da due articoli che ne dipendevano. La cronologia del repository dell’azienda individua l’errore in “Algebraicity of Weil classes on split abelian eightfolds” e indica poi “Algebraicity of Kuga–Satake Correspondences for K3 Surfaces” e “The rational Hodge conjecture for products of K3 surfaces” tra i lavori ritirati. La decisione mostra un limite concreto di una raccolta di ricerche che OpenAI aveva presentato il giorno prima come un ampio insieme di risultati matematici ottenuti da un modello interno.
La cronologia di OpenAI afferma: «In “Algebraicity of Weil classes on split abelian eightfolds” un errore di segno invalida un argomento di cancellazione della traccia di stabilizzazione e la costruzione usata da due articoli che ne dipendono». Secondo l’azienda, i lavori ritirati riportano ora avvisi che descrivono la lacuna e rimandano ai manoscritti archiviati. La cronologia non identifica i due articoli dipendenti separatamente dai tre lavori elencati come ritirati.
«In “Algebraicity of Weil classes on split abelian eightfolds” un errore di segno invalida un argomento di cancellazione della traccia di stabilizzazione e la costruzione usata da due articoli che ne dipendono».
OpenAI, cronologia del repository
OpenAI rivede altri 14 manoscritti
I ritiri facevano parte di un aggiornamento più ampio del repository. OpenAI afferma di aver rivisto altri 14 manoscritti, intervenendo su argomenti delle dimostrazioni, enunciati, ipotesi e dipendenze, oltre a correggere una citazione obsoleta. Le modifiche elencate vanno dalle correzioni a lavori sulle altezze di Lipschitz e sulle correnti di Ashkin–Teller all’ampliamento degli argomenti in articoli sui programmi del modello minimale di Kähler e sull’abbondanza.
Gli aggiornamenti hanno interessato anche i riferimenti al di fuori dei 14 articoli rivisti: OpenAI ha modificato altri 13 manoscritti affinché rimandino alle edizioni riviste di lavori collegati. La cronologia dell’azienda registra sei formalizzazioni aggiuntive e altre cinque aggiunte relative a risultati di supporto. Dopo l’aggiornamento, la quota di risultati principali formalizzati è, secondo l’azienda, di circa il 42%, ovvero 300 su 719.
La pubblicazione era accompagnata da un’avvertenza sulla verifica
OpenAI ha annunciato la sua raccolta di lavori matematici il 6 ottobre, descrivendo risultati prodotti da un modello di frontiera interno e pubblicandoli in un repository GitHub. Nell’annuncio affermava che ogni risultato aveva richiesto in media una potenza di calcolo equivalente a circa tre ore di ragionamento di ChatGPT Pro. Affermava inoltre che l’azienda stava consultando un gruppo consultivo indipendente presso l’Institute for Advanced Study e che avrebbe continuato a migliorare il modo in cui presenta i risultati.
Il README del repository distingue tra pubblicazione e verifica delle dimostrazioni: i risultati si trovano in fasi diverse di verifica e non tutti dispongono di formalizzazioni in Lean. Avverte inoltre che alcuni lavori non formalizzati potrebbero contenere problemi. Le correzioni del 7 ottobre mostrano cosa significhi in pratica questa avvertenza: una lacuna in un argomento si è ripercossa su lavori che ne dipendevano, spingendo l’azienda a ritirare tre manoscritti anziché lasciarli nel catalogo senza precisazioni.
I lavori archiviati restano consultabili
OpenAI afferma che conserverà le edizioni precedenti dei suoi manoscritti e registrerà le correzioni in nuove versioni. Per i tre lavori ritirati, il repository indica che i lettori possono trovare avvisi che spiegano la lacuna e link ai manoscritti archiviati. Le affermazioni precedenti restano così accessibili, ma vengono distinte dalla posizione attuale dell’azienda.
La correzione non equivale a respingere l’intera raccolta: OpenAI riferisce il ritiro di tre manoscritti, la revisione di altri 14 e l’aggiornamento delle citazioni in altri 13. L’episodio mette però in luce una difficoltà pratica nel pubblicare un ampio corpus di lavori matematici prodotti da un modello: un argomento può sostenere risultati anche al di fuori dell’articolo in cui compare per la prima volta, perciò verificare e correggere le dipendenze tra i lavori conta quanto correggere l’errore di segno originale.
L’annuncio di OpenAI del 6 ottobre e il README del repository forniscono informazioni su come è stata prodotta la raccolta e su come viene descritto lo stato di verifica dei risultati.