OpenAI zveřejnilo výsledky na GitHubu
Oznámení zveřejnila společnost OpenAI 6. října 2026. Nejde o vydání nového veřejného modelu ani o nový produkt pro běžné uživatele. Firma otevřela sbírku matematických rukopisů, které vznikly při interním testování dosud neuvolněného modelu.
Veřejný repozitář OpenAI aktuálně obsahuje 722 rukopisů uspořádaných do 372 rodin. Jedna rodina může zahrnovat hlavní výsledek, doprovodné argumenty, důsledky nebo alternativní důkazy stejného problému. Číslo 372 proto neznamená 372 hotových a nezávisle potvrzených matematických vět.
OpenAI u materiálů uvádí různé fáze ověření. Některé rukopisy mají podpůrné formalizace, jiné nikoli. Firma zároveň přímo píše, že u části neformalizovaných výsledků se mohou nacházet chyby a že je bude opravovat.
Co obsahuje zveřejněná sbírka
Repozitář je rozdělený do několika částí. Adresář s předtisky obsahuje PDF soubory, zdrojové soubory a instrukce k citování. Další část se věnuje formalizacím v jazyce Lean. K dispozici je také přehledová dokumentace a mapa rukopisů, která pomáhá dohledat jednotlivé výsledky a jejich podpůrné materiály.
Lean je programovací jazyk používaný pro kontrolu matematických důkazů počítačem. Matematik v něm zapíše tvrzení a postup důkazu přesně podle pravidel daného formálního systému. Počítač následně ověří, zda na sebe jednotlivé kroky navazují. Nečte důkaz jako člověk a neposuzuje jeho eleganci. Kontroluje, zda odpovídá formálním pravidlům.
Formalizace proto nenahrazuje odborné posouzení významu výsledku. Pomáhá však odhalit chyby v konkrétním důkazním zápisu. OpenAI uvádí, že mnoho, nikoli však všechny rukopisy má takovou formalizaci k dispozici. Repozitář bude podle firmy postupně doplňován.
OpenAI zveřejnilo také deset zkrácených souhrnů uvažování modelu. Týkají se například problémů z teorie čísel, kombinatoriky, matematické fyziky nebo studia diferenciálních rovnic. Tyto materiály mají čtenáři přiblížit, jak model k výsledkům dospěl. Nejde o plné záznamy každého interního procesu.
Model zkoušel přibližně 4 000 úloh
Podle údajů v repozitáři byl model v průběhu hodnocení vystaven přibližně 4 000 matematickým problémům. Z jejich výstupů OpenAI sestavilo výsledné rodiny a rukopisy. Firma uvádí, že při výběru požadovala odpovídající úroveň významu výsledků.
Průměrný výsledek využil výpočet odpovídající zhruba třem hodinám uvažování v ChatGPT Pro. Toto číslo popisuje spotřebovaný výpočetní čas, nikoli cenu, kterou by uživatel zaplatil za jeden matematický důkaz. Interní model navíc není veřejně dostupný a OpenAI u této sbírky neuvádí samostatný ceník.
Údaj o třech hodinách proto nelze jednoduše převést na výkon běžného účtu ChatGPT. Výpočet probíhal v interním testovacím režimu a OpenAI nepopsalo všechny technické parametry použité infrastruktury. Zveřejněné číslo je především informace o náročnosti procesu.
Ve sbírce jsou také výjimky, které nevznikly stejným postupem jako většina ostatních výsledků. OpenAI uvádí například práci na oblasti bez nul funkce Riemannovy zeta a důkazu Hodgeovy domněnky pro určité abelovské variety. Některé texty navíc prošly lidskou editací kvůli čitelnosti.
Matematici mají výsledky samostatně ověřit
Samotné zveřejnění rukopisů neznamená, že matematická komunita jejich závěry přijala. Vědecká hodnota výsledku závisí na tom, zda odborníci dokážou zkontrolovat argumentaci, najít případné mezery a porozumět tomu, proč výsledek platí.
Na tento problém upozorňuje také Advisory Group on Mathematics and Artificial Intelligence při Institute for Advanced Study. Skupina v doporučeních z 29. září 2026 požaduje, aby AI laboratoře u matematických výsledků zveřejňovaly například použitý model, zadání, shrnutí postupu, čas výpočtu, odhad nákladů a informace o neúspěšných pokusech.
Doporučení reagují na situaci, kdy AI vytvoří argument, kterému nerozumí ani člověk, který systém použil. V tradiční matematice autoři za práci odpovídají a své výsledky vysvětlují na seminářích nebo při recenzním řízení. U výstupů interního modelu tato odpovědnost nemůže automaticky připadnout samotnému systému.
Skupina proto doporučuje, aby laboratoře poskytly také podporu pro další práci matematiků. Může jít o workshopy, letní školy, pracovní skupiny nebo dlouhodobé studium složitých důkazů. OpenAI oznámilo, že chce financovat workshopy, konference a další programy zaměřené na porozumění významným výsledkům vytvořeným AI.
Veřejný repozitář má i praktická omezení
Materiály jsou dostupné online, tedy také pro čtenáře z České republiky a dalších zemí Evropské unie. To však neznamená, že si český uživatel může otevřít interní model OpenAI a zopakovat celý experiment. Veřejné jsou rukopisy a část podpůrných souborů, nikoli samotný systém, který výsledky vytvořil.
Pro české matematiky je důležitá také jazyková stránka. Zveřejněné rukopisy jsou určeny mezinárodní odborné komunitě a OpenAI v oznámení neslibuje české překlady ani české rozhraní. Čtenář proto musí počítat s angličtinou a s odborným matematickým zápisem.
Repozitář používá historii verzí. Opravy a změny mají být zveřejňovány jako nové verze, přičemž předchozí podoby zůstanou dostupné. To je podstatné u materiálu, který se bude měnit podle připomínek matematiků. Citace se tak mohou vztahovat ke konkrétní verzi rukopisu, nikoli pouze k aktuálnímu stavu souboru.
OpenAI zatím neposkytlo benchmark, který by umožnil přímé srovnání tohoto interního modelu s veřejně dostupnými systémy GPT-6.1 Sol, Claude Sonnet 5.5 nebo dalšími současnými modely. Zveřejněné počty úloh a rukopisů proto nelze vydávat za skóre v jednotném testu. Ukazují rozsah zveřejněné práce, nikoli univerzální pořadí matematických systémů.
Co bude rozhodovat o hodnotě výsledků
Nejdůležitější část práce teprve čeká na matematiky. Ti musí zjistit, zda jsou tvrzení správná, zda důkazy používají platné předpoklady a zda přinášejí něco nového. U některých textů bude potřeba také doplnit vysvětlení, opravit citace nebo převést celý argument do Lean.
OpenAI uvádí, že při budoucích zveřejněních chce zlepšit citování, matematický výklad i prezentaci výsledků. Firma zároveň zvažuje komunitní úložiště, která by nebyla přímo kontrolována AI laboratoří. Právě nezávislé připomínkování může rozhodnout, zda se ze sbírky stane použitelný zdroj pro další výzkum, nebo pouze rozsáhlý katalog návrhů k prověření.
Aktuální stav je proto poměrně přesný: OpenAI zveřejnilo 372 rodin výsledků a 722 rukopisů, popsalo část použitého procesu a otevřelo materiály ke kontrole. Úplné matematické ověření všech zveřejněných prací z oznámení nevyplývá.
FAQ
Je interní matematický model OpenAI dostupný veřejnosti?
Ne. Veřejně dostupné jsou rukopisy, podpůrné materiály a část formalizací v repozitáři na GitHubu. Samotný interní model, který výsledky vytvořil, OpenAI neuvolnilo.
Znamená 372 rodin automaticky 372 správných důkazů?
Ne. Jedna rodina může obsahovat více souvisejících rukopisů nebo variant důkazu. OpenAI zároveň uvádí, že některé neformalizované výsledky mohou obsahovat chyby a čekají na další kontrolu.
K čemu slouží formalizace v jazyce Lean?
Lean umožňuje převést matematický důkaz do přesného formálního zápisu, který může zkontrolovat počítač. Nehodnotí význam výsledku ani jeho srozumitelnost, ale ověřuje, zda jednotlivé formální kroky odpovídají pravidlům systému.
Zdroje: OpenAI, veřejný repozitář OpenAI a doporučení Advisory Group on Mathematics and Artificial Intelligence.
