AnswersPublished21 sources
Perché OpenAI ha ritirato tre dei 722 manoscritti di matematica generati dall’IA
Il 7 ottobre 2026 OpenAI ha ritirato tre manoscritti pubblicati il giorno prima: un errore tra +1 e −1 ha compromesso una prova e due lavori collegati. Il catalogo aggiornato comprende 719 manoscritti in 372 famiglie; OpenAI ha inoltre revisionato 14 testi e aggiornato i riferimenti bibliografici in altri 13.
Pubblicato daModificato con GPT-6 LunaImmagini generate con GPT Image 2
Research answer
Key takeaways
- Il 7 ottobre 2026 OpenAI ha ritirato tre manoscritti pubblicati il giorno prima: un errore tra +1 e −1 ha compromesso una prova e due lavori collegati.
- Il catalogo aggiornato comprende 719 manoscritti in 372 famiglie; OpenAI ha inoltre revisionato 14 testi e aggiornato i riferimenti bibliografici in altri 13.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
OpenAI ha ritirato tre manoscritti di matematica il 7 ottobre, meno di un giorno dopo averne pubblicati 722 su GitHub. In uno dei lavori, un errore di segno ha invalidato l’argomento centrale e compromesso altri due manoscritti che dipendevano da quella dimostrazione. Il caso ricorda che rendere pubblico un testo matematico non equivale ad averne verificato in modo indipendente i risultati. 24
35
Che cosa aveva pubblicato OpenAI
Il 6 ottobre OpenAI ha messo online manoscritti prodotti da un modello interno non disponibile al pubblico. I lavori erano organizzati in 372 famiglie: gruppi di testi collegati, che possono comprendere un risultato principale, argomentazioni di supporto, conseguenze o dimostrazioni alternative. La raccolta include ambiti come algebra, geometria e informatica. 1
35
38
La distinzione è importante: 722 manoscritti non significano 722 risultati indipendenti. Alcuni testi si basavano su argomenti o costruzioni sviluppati in altri lavori della stessa famiglia. È proprio questo legame ad aver reso necessario il ritiro di tre manoscritti. 1
24
L’errore di segno che ha coinvolto tre lavori
Il problema è emerso in Algebraicity of Weil classes on split abelian eightfolds. In un passaggio chiave, il testo attribuiva a un’operazione geometrica il segno +1, mentre secondo le convenzioni adottate nell’articolo il segno corretto era −1. L’errore comprometteva un argomento di cancellazione usato per sostenere la costruzione proposta. 21
24
27
Altri due manoscritti si basavano su quel lavoro: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces e The rational Hodge conjecture for products of K3 surfaces. Venuto meno l’argomento di partenza, anche le conclusioni che ne dipendevano non potevano più poggiare su quella dimostrazione. OpenAI ha quindi ritirato tutti e tre i testi. Si tratta di un problema nelle prove presentate, non della confutazione delle congetture affrontate. 21
24
35
Che cosa è cambiato nel catalogo
L’aggiornamento del 7 ottobre ha registrato il ritiro dei tre manoscritti, la revisione di altri 14 e l’aggiornamento dei riferimenti in 13 lavori collegati. Il catalogo è passato da 722 a 719 manoscritti, mantenendo le 372 famiglie. 1
24
28
Il repository e i materiali diffusi da OpenAI precisano che i risultati si trovano a diversi livelli di verifica e avvertono che alcuni potrebbero contenere errori. L’azienda ha dichiarato di essersi consultata con l’Advisory Group on Mathematics and Artificial Intelligence per orientare le modalità di condivisione dei lavori. Il contesto invita a considerarli materiale da esaminare, non scoperte già convalidate. 1
33
39
Che cosa può verificare Lean — e che cosa no
La raccolta include formalizzazioni Lean per alcuni risultati. Lean è un assistente per le dimostrazioni: permette a un computer di controllare prove matematiche scritte in forma formale. Le fonti disponibili, però, usano criteri diversi per descrivere la copertura: un resoconto indica circa 300 risultati principali formalizzati su 719, mentre un altro conta 162 manoscritti su 722 con una formalizzazione del risultato principale. I dati si riferiscono a unità diverse e non significano che ogni affermazione contenuta nei rispettivi articoli sia stata convalidata in modo indipendente. 25
33
36
La consultazione con il gruppo di esperti e la presenza di prove formalizzate sono elementi utili per valutare la pubblicazione, ma non sostituiscono il controllo degli argomenti scritti e dell’effettiva portata di ciascuna conclusione. Il ritiro mostra anche perché sia importante verificare i collegamenti tra i testi: un errore in un argomento condiviso può ripercuotersi su più manoscritti. 24
33
39
La conclusione: i risultati restano da verificare
Il ritiro stabilisce che uno specifico argomento non reggeva e che due lavori dipendenti da esso non potevano sostenerne le conclusioni. Non dimostra che gli altri manoscritti siano errati, né che siano corretti. Ogni risultato va valutato singolarmente, esaminando la dimostrazione, le ipotesi e gli eventuali legami con altri lavori. 1
21
35
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Perché OpenAI ha ritirato tre dei 722 manoscritti di matematica generati dall’IA"?
Il 7 ottobre 2026 OpenAI ha ritirato tre manoscritti pubblicati il giorno prima: un errore tra +1 e −1 ha compromesso una prova e due lavori collegati.
What are the key points to validate first?
Il 7 ottobre 2026 OpenAI ha ritirato tre manoscritti pubblicati il giorno prima: un errore tra +1 e −1 ha compromesso una prova e due lavori collegati. Il catalogo aggiornato comprende 719 manoscritti in 372 famiglie; OpenAI ha inoltre revisionato 14 testi e aggiornato i riferimenti bibliografici in altri 13.