AnswersPublished21 sources
Jedno chybné znaménko stálo OpenAI tři matematické rukopisy
OpenAI 7. října 2026 stáhlo tři rukopisy z kolekce 722 textů. Aktualizovaný katalog uvádí 719 rukopisů ve 372 tematických skupinách.
PublikovalUpraveno pomocí GPT-6 LunaObrázky vytvořeny pomocí GPT Image 2
Research answer
Key takeaways
- OpenAI 7. října 2026 stáhlo tři rukopisy z kolekce 722 textů.
- Aktualizovaný katalog uvádí 719 rukopisů ve 372 tematických skupinách. OpenAI také oznámilo úpravy 14 textů a aktualizace odkazů ve 13 doprovodných rukopisech.
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 stáhlo 7. října tři matematické rukopisy, méně než den poté, co na GitHubu zveřejnilo 722 textů vytvořených interním modelem, který firma veřejnosti nezpřístupnila. V jednom z rukopisů se objevila chyba ve znaménku: narušila klíčový argument a tím i dva další texty, které na něm stavěly. Zveřejnit matematický rukopis ale není totéž jako nezávisle ověřit jeho tvrzení. 24
35
Co OpenAI zveřejnilo
Dne 6. října OpenAI publikovalo rukopisy vytvořené interním modelem. Soubory rozdělilo do 372 skupin souvisejících výsledků, takzvaných rodin. Jedna rodina může zahrnovat hlavní výsledek, navazující argumenty, důsledky nebo alternativní důkazy. Kolekce se věnuje mimo jiné algebře, geometrii a informatice. 1
35
38
Číslo 722 tedy neznamenalo 722 nezávislých objevů. Některé rukopisy se opíraly o argumenty či konstrukce popsané v jiných textech stejné skupiny. Právě tato provázanost vedla k tomu, že chyba v jednom důkazu měla dopad na tři rukopisy. 1
24
Chyba ve znaménku narušila tři důkazy
Problém se objevil v textu Algebraicity of Weil classes on split abelian eightfolds. V klíčové části argumentu autoři přiřadili určité geometrické operaci znaménko +1, ačkoli podle konvencí použité v rukopisu mělo jít o −1. Tím se narušil argument založený na vzájemném vyrušení členů, který měl podpořit navrženou konstrukci. 21
24
27
O tento text se opíraly další dva rukopisy: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces a The rational Hodge conjecture for products of K3 surfaces. Když se ukázalo, že původní argument neobstojí, nebylo možné o něj opřít ani tvrzení v těchto dvou textech. OpenAI proto stáhlo všechny tři. Šlo o selhání argumentů v rukopisech, nikoli o vyvrácení samotných hypotéz, kterými se zabývaly. 21
24
35
Co se změnilo v katalogu
Aktualizace z 7. října oznámila stažení tří rukopisů, úpravy dalších 14 textů a aktualizaci odkazů ve 13 doprovodných rukopisech. Katalog se zmenšil ze 722 na 719 rukopisů, nadále však obsahoval 372 tematických skupin. 1
24
28
V repozitáři i materiálech OpenAI se uvádí, že výsledky jsou v různých fázích ověření a některé mohou obsahovat chyby. Firma také uvedla, že při zveřejňování vycházela z konzultací s poradní skupinou pro matematiku a umělou inteligenci. To je důležitý kontext: rukopisy je namístě chápat jako materiál k posouzení, ne jako soubor hotových a potvrzených objevů. 1
33
39
Co ověření v Lean může — a nemůže — potvrdit
Ke kolekci patří také formální důkazy zapsané v jazyce Lean, který umožňuje počítačově kontrolovat formálně vyjádřené matematické důkazy. Dostupné přehledy ale uvádějí různá čísla a počítají různé věci: jeden zmiňuje přibližně 300 z 719 hlavních výsledků převedených do Lean, zatímco jiný uvádí 162 z 722 rukopisů s formalizací hlavního výsledku. Tyto údaje používají odlišné jednotky, a proto je nelze přímo srovnávat. Ani jeden neznamená, že každý nárok v příslušném rukopisu prošel nezávislým ověřením. 25
33
36
Konzultace s poradní skupinou i formalizované důkazy jsou užitečným kontextem pro hodnocení zveřejněné práce. Samy o sobě ale nenahrazují kontrolu psaných argumentů ani ověření toho, co přesně důkaz pokrývá. Stažení tří textů navíc připomíná, že je potřeba prověřovat i vazby mezi rukopisy: chyba ve společném argumentu se může přenést do více prací. 24
33
39
Zveřejnění není totéž co potvrzený výsledek
Stažení ukazuje, že konkrétní argument neobstál a dva navazující rukopisy se o něj nemohly opřít. Neříká ale, že ostatní texty jsou chybné — ani že jsou správné. Každý výsledek je třeba posoudit samostatně, se zřetelem k důkazu, jeho předpokladům i závislostem na souvisejících pracích. 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 "Jedno chybné znaménko stálo OpenAI tři matematické rukopisy"?
OpenAI 7. října 2026 stáhlo tři rukopisy z kolekce 722 textů.
What are the key points to validate first?
OpenAI 7. října 2026 stáhlo tři rukopisy z kolekce 722 textů. Aktualizovaný katalog uvádí 719 rukopisů ve 372 tematických skupinách. OpenAI také oznámilo úpravy 14 textů a aktualizace odkazů ve 13 doprovodných rukopisech.