AnswersPublished21 sources
Et forkert fortegn fik OpenAI til at trække tre AI-matematikartikler tilbage
Den 7. oktober 2026 trak OpenAI tre manuskripter tilbage, efter at et forkert fortegn havde ødelagt et bevis om Weil klasser og svækket to beslægtede arbejder.
Udgivet afRedigeret med GPT-6 LunaBilleder genereret med GPT Image 2
Research answer
Key takeaways
- Den 7. oktober 2026 trak OpenAI tre manuskripter tilbage, efter at et forkert fortegn havde ødelagt et bevis om Weil klasser og svækket to beslægtede arbejder.
- Det opdaterede katalog rummer 719 manuskripter fordelt på 372 familier. OpenAI oplyste også, at 14 manuskripter var revideret, og at 13 ledsagende artikler havde fået opdaterede henvisninger.
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 trak tre matematikmanuskripter tilbage den 7. oktober, mindre end et døgn efter at have offentliggjort 722 AI-genererede manuskripter på GitHub. Et forkert fortegn i ét af manuskripterne gjorde et centralt argument ugyldigt og fik betydning for to andre arbejder, der byggede videre på det. Sagen understreger, at offentliggørelse af et matematisk manuskript ikke er det samme som uafhængig kontrol af dets resultater. 24
35
En samling med indbyrdes forbindelser
Den 6. oktober lagde OpenAI manuskripter fra en intern model, som ikke er offentligt tilgængelig, ud i et åbent GitHub-arkiv. De 722 manuskripter var organiseret i 372 familier af beslægtede arbejder inden for blandt andet algebra, geometri og datalogi. En familie kan rumme et hovedresultat, ledsagende argumenter, følgeslutninger eller alternative beviser. 1
35
38
Det er en vigtig detalje: 722 manuskripter var ikke det samme som 722 uafhængige resultater. Nogle af dem byggede på argumenter eller konstruktioner fra andre manuskripter i samme familie. Det blev afgørende, da OpenAI trak de tre arbejder tilbage. 1
24
Fortegnsfejlen, der ramte tre manuskripter
Fejlen blev fundet i Algebraicity of Weil classes on split abelian eightfolds. I et centralt argument blev fortegnet for en geometrisk operation angivet som +1, selv om det efter manuskriptets egne konventioner skulle være −1. Dermed brød en annulleringsargumentation sammen, som var nødvendig for at understøtte manuskriptets konstruktion. 21
24
27
To andre manuskripter byggede på dette arbejde: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces og The rational Hodge conjecture for products of K3 surfaces. Da grundargumentet ikke holdt, kunne de tilknyttede påstande ikke længere støttes af det, og OpenAI trak alle tre manuskripter tilbage. Det betyder, at beviserne i disse arbejder svigtede — ikke at de formodninger, de behandlede, dermed er modbevist. 21
24
35
Hvad ændrede sig i arkivet?
Opdateringen den 7. oktober registrerede, at tre manuskripter var trukket tilbage, at 14 andre var blevet revideret, og at henvisningerne i 13 ledsagende artikler var blevet opdateret. Kataloget gik fra 722 til 719 manuskripter, fortsat fordelt på 372 familier. 1
24
28
Arkivet og OpenAIs materiale beskriver resultater på forskellige stadier af efterprøvning og advarer om, at nogle kan indeholde fejl. OpenAI har oplyst, at arbejdet med at dele resultaterne tog udgangspunkt i råd fra Advisory Group on Mathematics and Artificial Intelligence, en rådgivende gruppe om matematik og kunstig intelligens. Det er en grund til at læse manuskripterne som materiale til granskning — ikke som en samling endeligt fastslåede opdagelser. 1
33
39
Hvad Lean kan kontrollere — og hvad det ikke afgør
Nogle af resultaterne ledsages af formaliseringer i Lean. Lean er en såkaldt proof assistant, der kan kontrollere formelle matematiske beviser. Men de tilgængelige opgørelser måler ikke helt det samme: Én opgørelse angiver, at omkring 300 af 719 hovedresultater er formaliseret, mens en anden tæller 162 af 722 manuskripter med en formalisering af hovedresultatet. Tallene har forskellige enheder og betyder ikke, at alle påstande i de pågældende manuskripter er blevet uafhængigt valideret. 25
33
36
OpenAIs dialog med den rådgivende gruppe og de formelle beviser er relevante, når udgivelsen skal vurderes. Men ingen af delene fritager læserne for at undersøge de skrevne argumenter og præcisere, hvor langt hvert enkelt resultat rækker. Tilbagetrækningerne viser også, hvorfor man må se på forbindelserne mellem manuskripterne: En fejl i et fælles argument kan få følger for flere arbejder. 24
33
39
Konklusionen: De øvrige påstande skal stadig efterprøves
Tilbagetrækningerne viser, at et konkret argument ikke holdt, og at to manuskripter, som byggede på det, ikke kunne stå på det grundlag. De viser hverken, at de øvrige manuskripter er forkerte, eller at deres påstande er korrekte. Hvert resultat må vurderes for sig med blik for beviset, dets forudsætninger og eventuelle afhængigheder af beslægtet arbejde. 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 "Et forkert fortegn fik OpenAI til at trække tre AI-matematikartikler tilbage"?
Den 7. oktober 2026 trak OpenAI tre manuskripter tilbage, efter at et forkert fortegn havde ødelagt et bevis om Weil klasser og svækket to beslægtede arbejder.
What are the key points to validate first?
Den 7. oktober 2026 trak OpenAI tre manuskripter tilbage, efter at et forkert fortegn havde ødelagt et bevis om Weil klasser og svækket to beslægtede arbejder. Det opdaterede katalog rummer 719 manuskripter fordelt på 372 familier. OpenAI oplyste også, at 14 manuskripter var revideret, og at 13 ledsagende artikler havde fået opdaterede henvisninger.