# OpenAI ritira tre articoli di matematica per un errore in una dimostrazione

> Il 7 ottobre 2026 OpenAI ha annunciato il ritiro di tre articoli di geometria algebrica a causa di un errore di segno che invalidava passaggi fondamentali delle dimostrazioni.

Oossa · 2026-10-08 · https://oossa.com/it/openai-pulls-three-math-papers-after-proof-error-discovered

OpenAI ha dichiarato che ritirerà tre articoli matematici preprint dopo che è stato individuato un errore di segno in una dimostrazione fondamentale. L’errore invalida un passaggio di cancellazione nella traccia di stabilizzazione e compromette anche due articoli successivi basati sul risultato. I manoscritti ritirati sono:
• Algebraicity of Weil classes on split abelian eightfolds
• Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
• The rational Hodge conjecture for products of K3 surfaces
OpenAI ha aggiunto avvisi agli articoli e inserito un collegamento alle versioni archiviate, così che i lettori possano vedere la lacuna.

## Cos’altro è stato aggiornato?

Oltre ai ritiri, OpenAI ha corretto altri 14 manoscritti. Le modifiche colmano lacune nelle dimostrazioni, chiariscono le ipotesi e correggono le citazioni. Tra gli ambiti interessati figurano le altezze di Lipschitz, i programmi dei modelli minimi Kähler e le deformazioni ipersimplessiche. Altri tredici articoli sono stati aggiornati per citare le versioni riviste di lavori correlati. L’organizzazione ha inoltre aggiunto sei nuove formalizzazioni, portando a circa il 42 % la quota dei risultati principali verificati formalmente (300 su 719).

## I fatti

- I ritiri sono stati annunciati il October 7, 2026.
- Tre articoli sono stati ritirati perché un errore di segno invalidava un argomento di cancellazione nella traccia di stabilizzazione.
- OpenAI ha rivisto altri 14 manoscritti e aggiornato le citazioni in altri 13.
- Sono state aggiunte sei nuove formalizzazioni, portando i risultati formalizzati a circa il 42 % del totale.
- Gli articoli ritirati ora mostrano avvisi con collegamenti alle versioni archiviate.

## Perché conta

Per i matematici che seguono il lavoro di OpenAI sulla verifica formale, il ritiro lascia una lacuna nella letteratura e potrebbe incidere su tutte le ricerche che hanno citato quei tre risultati. Ora i lettori possono vedere con precisione dove si è verificato l’errore ed evitare di basarsi sulla dimostrazione errata. La comunità nel complesso può comunque beneficiare dei 14 articoli corretti e delle nuove formalizzazioni, che migliorano l’affidabilità della raccolta matematica di OpenAI.

## Fonti e riferimenti

1. [OpenAI Withdraws 3 Math Papers](https://github.com/openai/math/blob/main/history.md) – Hacker News, 2026-10-08
2. [OpenAI’s math solutions aren’t meeting the field’s standards yet](https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/) – TechCrunch, 2026-10-08
3. [Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field](https://the-decoder.com/some-mathematicians-call-for-openai-boycott-after-ai-generated-proofs-flood-their-field/) – The Decoder, 2026-10-08
4. [OpenAI withdraws three mathematical results](https://twitter.com/danintheory/status/2108065033070789090) – Hacker News, 2026-10-08

Ultimo aggiornamento: 2026-10-08