OpenAI zveřejňuje 722 matematických rukopisů z nepublikovaného modelu AI

Ve výzkumném příspěvku publikovaném 6. října 2026 OpenAI uvedla, že zveřejňuje širokou škálu nových matematických výsledků vytvořených nepublikovaným interním špičkovým modelem, publikujíc 722 rukopisů uspořádaných do 372 rodin v veřejném repozitáři GitHub vedle formalizací důkazů v Lean a zkrácených souhrnů uvažování modelu.

Uvnitř repozitáře GitHub

Výsledky jsou publikovány v repozitář openai/math, uvolněném pod licencí Apache-2.0. Jeho README popisuje obsah jako matematické rukopisy a podpůrné artefakty důkazů vytvořené interním modelem OpenAI, shromážděné jako součást hodnocení vývoje modelu na otevřených výzkumných problémech.

Aktuální katalog obsahuje 722 rukopisů uspořádaných do 372 rodin. Rodina seskupuje související články, které mohou zahrnovat hlavní výsledek, doprovodné argumenty, důsledky nebo alternativní důkazy, a každá rodina je klasifikována podle matematické disciplíny. Adresář preprintů obsahuje PDF, zdrojové soubory a specifické pokyny k citacím a sestavení rukopisů, zatímco knihovna Lean a katalog formalizací popisují dostupné formální důkazy, jejich související články a konfigurační nastavení ověřování.

Sbírka zahrnuje různé fáze ověřování. Mnoho rukopisů má doprovodné formalizace v Lean, programovacím jazyce, který umožňuje počítačově kontrolovat matematické důkazy, ale ne všechny je mají. README upozorňuje, že některé z neformalizovaných výsledků mohou mít problémy, a OpenAI uvádí, že se bude snažit tyto problémy rychle opravit a zároveň aktualizovat repozitář o další formalizace, jakmile budou získány. OpenAI také říká, že zachová veřejnou historii uvolňování sbírky, zaznamená opravy a revize jako nové verze a zároveň ponechá dříve uvolněné verze přístupné, a každý adresář rukopisu obsahuje blok BibTeX pro citace.

Jak byly výsledky vytvořeny

Podle README byla drtivá většina výsledků získána stejným postupem pomocí nepublikovaného interního modelu OpenAI. Během hodnocení bylo modelu položeno přibližně 4 000 problémů a OpenAI uvádí, že průměrný výsledek využil výpočetní kapacitu zhruba tří hodin myšlení ChatGPT Pro. README uvádí, že OpenAI rozšířila tato hodnocení poté, co výkon na jejích stávajících matematických testech dosáhl nasycení, a že některé výstupy staví na dříve vytvořených výsledcích svých modelů. Požadování vhodné úrovně významnosti a agregace výstupů do rodin výsledků a rukopisů vedlo k vytvoření publikovaného katalogu.

Dvě pojmenované výjimky se od tohoto pevného postupu odchýlily: práce na nulové oblasti pro Riemannovu zeta funkci a důkaz Hodgeho domněnky pro CM abelovské variety. Text pokrývající nulovou oblast Re(s) > 11/12 pro Riemannovu zeta funkci byl lidsky upraven pro čitelnost.

Repozitář také zveřejňuje 10 zkrácených souhrnů uvažování modelu. Pokrývají výsledky o obyčejných dvoubodových korelacích multiplikativních funkcí, iracionálním exponentu čísla π, symetrické a obecné Mahlerovy domněnky, obyčejnou NP-těžkost na základním semidefinitním prahu, kvazipolynomické mezí pro aritmetické posloupnosti, Kaplanského domněnku o přímé konečnosti v charakteristice dvě, Mézard–Parisiho vzorec pro ředěné spinové skla, spontánní magnetizaci v kvantovém Heisenbergově ferromagnetu, izomorfismus faktorů volných grup a třírozměrný relativistický Vlasov–Maxwellův systém.

OpenAI uvedla, že zveřejňuje tyto doplňující podrobnosti, včetně odhadů výpočetního výkonu vyjádřených v využití ChatGPT Pro a statistik o počtu pokusných problémů, aby podpořila vědeckou transparentnost a otevřenost.

Doporučení poradní skupiny

OpenAI uvedla, že konzultovala s nezávislou Poradní skupinou pro matematiku a umělou inteligenci na Institute for Advanced Study, aby vyvinula nejlepší postupy pro sdílení výsledků s matematickou komunitou, a že čerpala z rad skupiny a veřejných doporučení při přípravě tohoto uvolnění.

Poradní skupina zveřejnila její doporučení pro odpovědné uvolňování dne 29. září 2026 po obdržení více než 600 odpovědí od matematické komunity a uvádí, že doporučení jsou podpořena jasnou pluralitou respondentů. Poznámka pod čarou uvádí, že průzkum se ptal na konkrétní situaci, ve které OpenAI oznámila existenci mnoha výsledků bez podrobností. Dokument začíná poznámkou, že některé špičkové AI laboratoře testují pokročilé matematické problémy na proprietárních modelech, které jsou nedostupné širší vědecké komunitě, a poté konstatuje: „tuto praxi neschvalujeme a žádáme je, aby přestaly testovat pokročilé matematické problémy na proprietárních modelech.“

Doporučení vyzývají k tomu, aby byly výsledky uloženy do vědeckých repozitářů, které žádná AI laboratoř nekontroluje, s trvalými citovatelnými identifikátory a řádně zaznamenanými úpravami, a aby laboratoře přestaly používat zveřejňování výsledků jako marketingové nástroje pro své modely. Pro každý zveřejněný výsledek skupina uvádí, že by laboratoře měly veřejně uvést název modelu, použité podněty, shrnutý řetězec myšlenek, čas potřebný k výpočtu a odhadovanou cenu výpočtu, a že důkazy by měly být formalizovány, jak jen to je možné. Když je mnoho výsledků zveřejněno najednou, doporučení požadují další veřejný dokument, který na všechny odkazuje a vysvětluje, kolik dalších problémů srovnatelné obtížnosti modely zkusily a nevyřešily, a jak byly tyto problémy vybrány.

Skupina dále doporučuje, aby laboratoře poskytovaly významnou podporu, včetně financování, pro rozvoj lidského porozumění výstupům generovaným AI, přičemž jako možné aktivity uvádí konference, letní školy, cílené workshopy, dlouhodobé pracovní skupiny a knihy nebo rozsáhlé expozice. Uvádí, že rozhodnutí o tom, které iniciativy podpořit, by měla činit stávající neziskové instituce, nikoli laboratoře, a radí, aby globální matematické společenství mělo široký a spravedlivý přístup k veřejně dostupným modelům.

OpenAI uvedla, že nadále zkoumá další komunitou hostované alternativy pro toto zveřejnění, které splňují směrnice výboru, a že je odhodlána zlepšovat citace, matematické vysvětlení a prezentaci výsledků v budoucích zveřejněních.

Pozadí interního modelu a další kroky

Fráze „interní frontier model“ v příspěvku OpenAI odkazuje na oznámení ze 8. září 2026, že interní systém OpenAI vytvořil důkaz s formalizací v Lean, který ukazuje, že hladký trojrozměrný proud tekutiny řízený rovnicemi Navier–Stokes může v konečném čase vyvinout singularitu. OpenAI uvedla, že výsledek řeší problém, který Clay Mathematics Institute označil za jeden ze svých sedmi Millennium Prize Problems v roce 2000, a že neplánuje si za něj nárokovat Millennium Prize. V tom příspěvku OpenAI uvedla, že interní model, který použila, je výrazně výkonnější než GPT‑6 Astra, že model trénuje od 28. srpna 2026, že zahájila hodnotící úsilí o Millennium Prize problémy 1. září 2026 a že její agenti dosáhli řešení 5. září 2026.

OpenAI uvedla, že bude financovat sérii workshopů, konferencí a speciálních programů zaměřených na pochopení významných výsledků vytvořených AI, a že o tom v blízké budoucnosti poskytne více informací. Také uvedla, že pracuje na odpovědném zveřejnění modelu, který tyto výsledky vytvořil, a že bude i nadále reagovat na zpětnou vazbu od komunity a aktualizovat své standardy pro budoucí zveřejňování významných vědeckých pokroků.