OpenAI po vydání matematických důkazů stáhla tři rukopisy kvůli chybě znaménka
OpenAI zveřejnila 6. října kolekci matematických rukopisů vytvořených interním modelem. O den později stáhla tři texty kvůli chybě znaménka a upravila čtrnáct dalších. Nezávislá poradní skupina upozorňuje, že zveřejněním teprve začíná lidské ověřování a porozumění výsledkům.
OpenAI vydala 6. října 2026 veřejnou kolekci matematických rukopisů a podpůrných důkazních souborů vytvořených interním modelem. Už zápis ze 7. října v historii repozitáře uvádí stažení tří rukopisů. Chyba znaménka zneplatnila jeden argument a konstrukci, kterou používaly také dvě navazující práce. Firma tedy stáhla všechny tři.
Stažený rukopis zůstává dohledatelný
Podle historie mají stažené práce vlastní upozornění s vysvětlením mezery v argumentaci a odkazem na původní text. OpenAI slibuje zachovat veřejnou historii vydání; opravy mají vznikat jako nové verze, zatímco předchozí zůstanou dostupné. Čtenář tak může rozlišit, co firma zveřejnila poprvé a co následně změnila.
V témže zápisu firma uvádí úpravy čtrnácti dalších rukopisů. Výčet zahrnuje opravy důkazů, zpřesnění tvrzení, jasnější předpoklady a závislosti i odstranění zastaralé citace. Nejde tedy o čtrnáct stažených prací ani o tvrzení, že všech čtrnáct výsledků bylo chybných. U dalších třinácti textů změnila odkazy na opravená vydání navazujících prací a jejich data verzí.
719 rukopisů neznamená 719 vyřešených problémů
Úvodní popis kolekce k 9. říjnu uvádí 719 rukopisů rozdělených do 372 skupin souvisejících prací. Jedna skupina může obsahovat hlavní výsledek, podpůrné argumenty, důsledky nebo alternativní důkazy. Počet souborů proto nelze převést na počet samostatných vyřešených otázek.
OpenAI sama píše, že výsledky jsou v různých stadiích ověření. Ne všechny mají doprovodný formální zápis v systému Lean, který umožňuje počítačovou kontrolu důkazu. U výsledků bez takového zápisu firma výslovně připouští možné problémy a slibuje je opravovat. Repozitář obsahuje i návod k formálním důkazům; jejich sestavení jsme nezkoušeli.
Model, který převážnou část výsledků vytvořil, zůstává nevydaným interním modelem. Zveřejněná kolekce tedy dává veřejnosti rukopisy a část podpůrných materiálů, nikoli přístup ke stejnému modelu pro vlastní opakování práce.
Poradní skupina výsledky neschválila
Nezávislá skupina AGMAI, která radí laboratořím při zveřejňování matematických výsledků, vydala stanovisko datované 6. října. Její poradní role podle něj nepředstavuje posudek dopadu výsledků ani schválení postupu, kterým je OpenAI získala. Skupina také výslovně říká, že nemluví za celou matematickou obec.
Zpřístupnění prací považuje za první krok. Porozumění důkazům a jejich začlenění do matematického poznání má teprve následovat. Ve svých doporučeních z 29. září požaduje, aby laboratoře podporovaly i financovaly práci potřebnou k pochopení výsledků. O rozdělení této podpory mají rozhodovat nezávislé neziskové instituce, nikoli laboratoř, která důkazy vytvořila.
Obtíže s čtením popsal také informatik Scott Aaronson ve vlastním článku ze 7. října. Zveřejnil zprávy matematičky Dany Moshkovitz, která se snažila porozumět rukopisu k domněnce Unique Games. Podle ní text používá nejasné konstrukce a zmiňuje dřívější práce bez dostatečného vysvětlení, proč je lze použít. To je svědectví o srozumitelnosti konkrétního důkazu, nikoli jeho vyvrácení.
Výzva k bojkotu není stanoviskem všech matematiků
Sdružení Association for Human Mathematics šlo dál: v prohlášení ke kolekci vyzvalo matematiky, aby přestali spolupracovat s OpenAI. Kritizuje hromadné vydání více než sedmi set souborů a odmítá tvrzení firmy, že takový způsob publikování obor posouvá. Terence Tao tento text 7. října převzal jako hostující příspěvek; autorem prohlášení je pracovní skupina AHM.
AGMAI se k bojkotu ve svém stanovisku nepřidává a dál chce jednat s laboratořemi. Trvá však na tom, že matematici musí mít možnost volit vlastní otázky a postupy. Budoucnost jejich práce se podle skupiny nemůže omezit na vysvětlování výsledků, které pro ně vybraly firmy vyvíjející AI.