# OpenAI retire trois articles de mathématiques après une erreur de preuve

> Le 7 octobre 2026, OpenAI a annoncé le retrait de trois articles de géométrie algébrique, à la suite d’une erreur de signe qui invalidait des arguments centraux.

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

OpenAI a annoncé le retrait de trois prépublications mathématiques après la découverte d’une erreur de signe dans une démonstration centrale. Cette erreur invalide une étape d’annulation de la trace de stabilisation et fragilise également deux articles ultérieurs fondés sur ce résultat. Les manuscrits retirés sont :
• 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 a ajouté des avis aux articles et mis un lien vers les versions archivées, afin que les lecteurs puissent repérer la faille.

## Qu’est-ce qui a également été mis à jour ?

Parallèlement aux retraits, OpenAI a corrigé 14 autres manuscrits. Ces corrections comblent des lacunes dans les démonstrations, précisent les hypothèses et rectifient des citations. Les domaines concernés comprennent les hauteurs lipschitziennes, les programmes des modèles minimaux kählériens et les déformations hypersymplectiques. Treize autres articles ont été mis à jour pour citer les versions révisées de travaux connexes. L’organisation a également ajouté six nouvelles formalisation, portant à environ 42 % (300 sur 719) la part des résultats principaux vérifiés formellement.

## Les faits

- Les retraits ont été annoncés le 7 octobre 2026.
- Trois articles ont été retirés parce qu’une erreur de signe invalidait un argument d’annulation de la trace de stabilisation.
- OpenAI a révisé 14 autres manuscrits et mis à jour les citations dans 13 autres.
- Six nouvelles formalisation ont été ajoutées, portant à environ 42 % la part des résultats formalisés.
- Les articles retirés affichent désormais des avis renvoyant vers les versions archivées.

## Pourquoi c'est important

Pour les mathématiciens qui suivent les travaux d’OpenAI sur la vérification formelle, ces retraits révèlent une faille dans la littérature, susceptible d’affecter les recherches ayant cité ces trois résultats. Les lecteurs peuvent désormais voir précisément où se trouve l’erreur et éviter de s’appuyer sur la démonstration défectueuse. La communauté bénéficie néanmoins des 14 articles corrigés et des nouvelles formalisation, qui renforcent la fiabilité de la bibliothèque mathématique d’OpenAI.

## Sources et références

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

Dernière mise à jour: 2026-10-08