AnswersPublished21 sources
Ett teckenfel fick OpenAI att dra tillbaka tre matematikmanus
Den 7 oktober 2026 drog OpenAI tillbaka tre manus efter att ett teckenfel i ett bevis om Weil klasser slagit undan huvudargumentet och två arbeten som byggde på det. Den uppdaterade katalogen innehåller 719 manus i 372 grupper.
Publicerad avRedigerad med GPT-6 LunaBilder genererade med GPT Image 2
Research answer
Key takeaways
- Den 7 oktober 2026 drog OpenAI tillbaka tre manus efter att ett teckenfel i ett bevis om Weil klasser slagit undan huvudargumentet och två arbeten som byggde på det.
- Den uppdaterade katalogen innehåller 719 manus i 372 grupper. OpenAI uppger också att 14 andra manus reviderats och att referenser uppdaterats i 13 följdarbeten.
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
OpenAI drog tillbaka tre matematikmanus den 7 oktober, mindre än ett dygn efter att bolaget publicerat 722 AI-genererade manus på GitHub. Ett teckenfel i ett av dem gjorde att ett centralt argument inte höll. Eftersom två andra manus byggde vidare på det argumentet kunde även deras slutsatser inte längre stödjas på samma grund. Händelsen visar att ett publicerat matematikmanus inte automatiskt innebär att resultaten har verifierats oberoende. 24
35
Vad OpenAI publicerade
Den 6 oktober lade OpenAI upp manus som tagits fram av en intern modell som inte har släppts offentligt. Arbetena sorterades i 372 grupper, eller familjer, med relaterade manus. En familj kan innehålla ett huvudresultat, kompletterande argument, följder eller alternativa bevis. Samlingen omfattar bland annat algebra, geometri och datavetenskap. 1
35
38
Det är en viktig skillnad: 722 manus betyder inte 722 fristående resultat. Vissa arbeten använde argument eller konstruktioner från andra manus i samma familj. Det sambandet blev avgörande när OpenAI drog tillbaka de tre arbetena. 1
24
Teckenfelet som påverkade tre manus
Felet upptäcktes i Algebraicity of Weil classes on split abelian eightfolds. I ett centralt argument angavs tecknet för en geometrisk operation som +1, trots att det enligt manusets egna konventioner skulle vara −1. Det bröt ett argument om att termer skulle ta ut varandra, vilket behövdes för att stödja den konstruktion som manuset byggde på. 21
24
27
Två andra manus byggde på det arbetet: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces och The rational Hodge conjecture for products of K3 surfaces. När grundargumentet inte längre höll kunde de två följdarbetena inte heller stödjas på det. Därför drog OpenAI tillbaka alla tre. Det innebär att argumenten i manusen inte höll – inte att de matematiska förmodanden som behandlades där har motbevisats. 21
24
35
Vad som ändrades i katalogen
I uppdateringen den 7 oktober meddelade OpenAI att tre manus dragits tillbaka, att 14 andra reviderats och att referenser uppdaterats i 13 följdarbeten. Katalogen gick från 722 till 719 manus, fortfarande ordnade i 372 familjer. 1
24
28
I materialet står att resultaten befinner sig på olika stadier av verifiering och att vissa kan innehålla fel. OpenAI har också uppgett att bolagets arbete med att dela resultaten har påverkats av samråd med rådgivargruppen Advisory Group on Mathematics and Artificial Intelligence. Det talar för att manusen bör ses som material för granskning, snarare än som en samling färdiga och fastslagna upptäckter. 1
33
39
Vad Lean-formalisering kan – och inte kan – visa
Vissa resultat i samlingen har formaliserats i Lean, ett så kallat bevisassistentprogram som kan kontrollera matematiska bevis när de skrivits i ett formellt språk. Tillgängliga sammanställningar mäter dock omfattningen på olika sätt: en uppgift räknar omkring 300 av 719 huvudresultat som formaliserade, medan en annan anger att 162 av 722 manus har en formalisering av huvudresultatet. Eftersom räknesätten gäller olika enheter går siffrorna inte att jämföra direkt. Ingen av dem betyder heller att varje påstående i de berörda manusen har verifierats oberoende. 25
33
36
Samrådet med rådgivargruppen och förekomsten av formaliserade bevis är relevant bakgrund när man bedömer publiceringen. Men inget av detta tar bort behovet av att granska de skrivna argumenten och vad varje resultat faktiskt omfattar. Återtagandena visar också varför man behöver granska kopplingarna mellan manus: ett fel i ett gemensamt argument kan påverka flera arbeten. 24
33
39
Slutsatsen: de kvarvarande resultaten behöver granskas var för sig
Återtagandena visar att ett specifikt argument brast och att två manus som byggde på det inte längre kunde stödjas av samma argument. De visar inte att de övriga manusen är fel – men inte heller att deras resultat är korrekta. Varje påstående behöver bedömas för sig, med hänsyn till beviset, dess antaganden och eventuella beroenden av närliggande arbeten. 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 "Ett teckenfel fick OpenAI att dra tillbaka tre matematikmanus"?
Den 7 oktober 2026 drog OpenAI tillbaka tre manus efter att ett teckenfel i ett bevis om Weil klasser slagit undan huvudargumentet och två arbeten som byggde på det.
What are the key points to validate first?
Den 7 oktober 2026 drog OpenAI tillbaka tre manus efter att ett teckenfel i ett bevis om Weil klasser slagit undan huvudargumentet och två arbeten som byggde på det. Den uppdaterade katalogen innehåller 719 manus i 372 grupper. OpenAI uppger också att 14 andra manus reviderats och att referenser uppdaterats i 13 följdarbeten.