# OpenAI trekt drie wiskundepapers terug na ontdekte bewijsfout

> OpenAI maakte op 7 oktober 2026 bekend drie papers over algebraïsche meetkunde terug te trekken vanwege een tekenfout die belangrijke bewijsstappen onderuit haalde.

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

OpenAI zegt drie wiskundige preprints terug te trekken nadat in een centraal bewijs een tekenfout is ontdekt. Door de fout klopt een stap waarin termen in de stabilisatie-trace tegen elkaar worden weggestreept niet, wat ook twee latere papers ondermijnt die op het resultaat voortbouwden. Het gaat om de volgende manuscripten:
• 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 heeft meldingen aan de papers toegevoegd en links naar de gearchiveerde versies geplaatst, zodat lezers de fout kunnen bekijken.

## Wat is er nog meer aangepast?

Naast de terugtrekkingen heeft OpenAI 14 andere manuscripten herzien. De aanpassingen dichten gaten in bewijzen, verduidelijken aannames en corrigeren verwijzingen. Het gaat onder meer om Lipschitz-hoogten, Kähler-minimale-modellenprogramma’s en hypersymplectische vervorming. Nog eens dertien papers zijn bijgewerkt met verwijzingen naar herziene versies van verwant werk. De organisatie heeft ook zes nieuwe formaliseringen toegevoegd. Daarmee is ongeveer 42 % (300 van de 719) van de belangrijkste resultaten formeel geverifieerd.

## De feiten

- De terugtrekkingen werden aangekondigd op 7 oktober 2026.
- Drie papers zijn teruggetrokken omdat een tekenfout een argument over het wegvallen van termen in de stabilisatie-trace onderuit haalde.
- OpenAI heeft 14 andere manuscripten herzien en de verwijzingen in nog eens 13 bijgewerkt.
- Er zijn zes nieuwe formaliseringen toegevoegd, waardoor ongeveer 42 % van de resultaten is geformaliseerd.
- De teruggetrokken papers bevatten nu meldingen met links naar de gearchiveerde versies.

## Waarom het ertoe doet

Voor wiskundigen die het werk van OpenAI aan formele verificatie volgen, betekent de terugtrekking dat er een gat in de literatuur zit. Dat kan gevolgen hebben voor onderzoek dat naar de drie resultaten verwijst. Lezers kunnen nu precies zien waar de fout zat en voorkomen dat ze voortbouwen op het ondeugdelijke bewijs. De bredere gemeenschap heeft daarnaast baat bij de 14 herstelde papers en de nieuwe formaliseringen, die de betrouwbaarheid van OpenAI’s wiskundebibliotheek vergroten.

## Bronnen en referenties

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

Laatst bijgewerkt: 2026-10-08