AnswersPublished21 sources
Waarom OpenAI drie AI-wiskundepapers terugtrok
Op 7 oktober 2026 trok OpenAI drie manuscripten terug nadat een tekenfout in een bewijs ook twee afhankelijke papers ondermijnde. De bijgewerkte catalogus telt 719 manuscripten in 372 families.
Gepubliceerd doorBewerkt met GPT-6 LunaAfbeeldingen gegenereerd met GPT Image 2
Research answer
Key takeaways
- Op 7 oktober 2026 trok OpenAI drie manuscripten terug nadat een tekenfout in een bewijs ook twee afhankelijke papers ondermijnde.
- De bijgewerkte catalogus telt 719 manuscripten in 372 families. Daarnaast meldde OpenAI aanpassingen aan 14 manuscripten en bijgewerkte verwijzingen in 13 begeleidende papers.
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
Minder dan een dag nadat OpenAI 722 door een intern AI-model gemaakte wiskundemanuscripten op GitHub had gezet, trok het bedrijf er drie terug. De aanleiding was een tekenfout in één bewijs. Twee andere papers bouwden op dat bewijs voort en verloren daardoor eveneens hun onderbouwing. De kwestie maakt duidelijk: een manuscript openbaar maken is niet hetzelfde als de wiskundige claims onafhankelijk verifiëren. 24
35
Een grote verzameling, met onderlinge verbanden
Op 6 oktober publiceerde OpenAI manuscripten van een intern model dat niet openbaar beschikbaar is. De papers waren ondergebracht in 372 ‘families’: groepen verwante manuscripten rond bijvoorbeeld een hoofdresultaat, ondersteunende argumenten, gevolgen of alternatieve bewijzen. De onderwerpen lopen uiteen van algebra en meetkunde tot informatica. 1
35
38
Die indeling is belangrijk. De 722 manuscripten stonden niet gelijk aan 722 losstaande resultaten: sommige papers steunden op argumenten of constructies uit andere manuscripten binnen dezelfde familie. Juist zo’n verband speelde een rol bij de terugtrekking. 1
24
De fout die drie papers raakte
De fout zat in Algebraicity of Weil classes on split abelian eightfolds. In een belangrijke stap kende het manuscript een meetkundige bewerking het teken +1 toe, terwijl die volgens de conventies van het paper −1 had moeten zijn. Daardoor ging een annuleringsargument waarop de constructie steunde niet meer op. 21
24
27
Twee andere manuscripten bouwden voort op dat werk: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces en The rational Hodge conjecture for products of K3 surfaces. Toen de onderliggende redenering niet houdbaar bleek, konden ook de claims in die papers niet langer op dat argument steunen. OpenAI trok daarom alle drie terug. Dat betekent niet dat de conjecturen die de papers behandelden zijn weerlegd: de terugtrekking ging over de argumenten in de manuscripten. 21
24
35
Wat er in de bijgewerkte catalogus veranderde
In de update van 7 oktober meldde OpenAI de drie terugtrekkingen, wijzigingen in 14 andere manuscripten en bijgewerkte verwijzingen in 13 begeleidende papers. De catalogus ging daarmee van 722 naar 719 manuscripten, verdeeld over dezelfde 372 families. 1
24
28
De repository waarschuwt dat de resultaten zich in verschillende stadia van verificatie bevinden en dat sommige fouten kunnen bevatten. OpenAI zegt bij het delen van het werk advies te hebben ingewonnen bij de Advisory Group on Mathematics and Artificial Intelligence. Dat past bij een voorzichtige lezing: zie de manuscripten als materiaal dat onderzocht moet worden, niet als een verzameling definitief vastgestelde ontdekkingen. 1
33
39
Lean helpt controleren, maar is geen totaalstempel
Bij een deel van de resultaten zijn formele bewijzen in Lean beschikbaar. Lean is een zogenoemde proof assistant: software waarmee computers formeel opgezette wiskundige bewijzen kunnen controleren. De beschikbare overzichten hanteren echter verschillende telmethoden. Een samenvatting noemt ongeveer 300 van de 719 hoofdresultaten als geformaliseerd; een ander overzicht telt 162 van de 722 manuscripten met een formalisering van het hoofdresultaat. Die cijfers hebben verschillende meeteenheden en betekenen niet dat iedere claim in de betreffende papers onafhankelijk is gevalideerd. 25
33
36
De formele bewijzen en het advies van de onafhankelijke adviesgroep bieden nuttige context, maar vervangen geen beoordeling van de uitgeschreven argumenten en de precieze reikwijdte van claims. De terugtrekkingen laten bovendien zien waarom samenhangende papers gezamenlijk moeten worden bekeken: een fout in één gedeelde redenering kan doorwerken in meerdere manuscripten. 24
33
39
De kern: de overige claims moeten nog worden getoetst
De terugtrekkingen tonen aan dat één specifiek argument niet standhield en dat twee papers die daarop leunden hun onderbouwing verloren. Ze bewijzen niet dat de andere manuscripten fout zijn — maar evenmin dat hun claims kloppen. Elk resultaat moet op zijn eigen merites worden beoordeeld, met aandacht voor het bewijs, de aannames en eventuele afhankelijkheden van verwant werk. 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 "Waarom OpenAI drie AI-wiskundepapers terugtrok"?
Op 7 oktober 2026 trok OpenAI drie manuscripten terug nadat een tekenfout in een bewijs ook twee afhankelijke papers ondermijnde.
What are the key points to validate first?
Op 7 oktober 2026 trok OpenAI drie manuscripten terug nadat een tekenfout in een bewijs ook twee afhankelijke papers ondermijnde. De bijgewerkte catalogus telt 719 manuscripten in 372 families. Daarnaast meldde OpenAI aanpassingen aan 14 manuscripten en bijgewerkte verwijzingen in 13 begeleidende papers.