# OpenAI drar tillbaka tre matematikartiklar efter bevisfel

> Den 7 okt. 2026 meddelade OpenAI att tre artiklar om algebraisk geometri dras tillbaka efter ett teckenfel som kullkastade centrala argument.

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

OpenAI uppgav att företaget drar tillbaka tre matematiska förhandsartiklar efter att ett teckenfel upptäckts i ett centralt bevis. Felet gör ett steg med en annullering av stabiliseringsspår ogiltigt, vilket också undergräver två senare artiklar som bygger på resultatet. De tillbakadragna manuskripten är:
• 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 har lagt till meddelanden i artiklarna och länkat till arkiverade versioner så att läsarna kan se bristen.

## Vad mer uppdaterades?

Samtidigt som artiklarna drogs tillbaka rättade OpenAI 14 andra manuskript. Rättelserna åtgärdar luckor i bevis, förtydligar antaganden och korrigerar hänvisningar. Bland områdena som berörs finns Lipschitz-höjder, Kählers minimala modellprogram och hypersymplektisk deformation. Ytterligare 13 artiklar uppdaterades med hänvisningar till de reviderade versionerna av relaterat arbete. Organisationen lade också till sex nya formaliseringar, vilket innebär att andelen huvudresultat som verifierats formellt nu är cirka 42 % (300 av 719).

## Fakta

- Tillbakadragandena tillkännagavs den 7 oktober 2026.
- Tre artiklar drogs tillbaka eftersom ett teckenfel gjorde ett argument om annullering av stabiliseringsspår ogiltigt.
- OpenAI reviderade 14 andra manuskript och uppdaterade hänvisningar i ytterligare 13.
- Sex nya formaliseringar lades till, vilket höjde andelen formaliserade resultat till cirka 42 % av det totala antalet.
- De tillbakadragna artiklarna visar nu meddelanden med länkar till de arkiverade versionerna.

## Varför det spelar roll

För matematiker som följer OpenAIs arbete med formell verifiering innebär tillbakadragandet en lucka i forskningslitteraturen som kan påverka forskning som hänvisat till de tre resultaten. Läsarna kan nu se exakt var felet uppstod och undvika att bygga vidare på det felaktiga beviset. Den bredare forskarvärlden har fortfarande nytta av de 14 rättade artiklarna och de nya formaliseringarna, som gör OpenAIs matematikbibliotek mer tillförlitligt.

## Källor och referenser

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

Senast uppdaterad: 2026-10-08