OpenAI publikovalo 722 matematických rukopisů vytvořených nevydaným modelem interních hranic a celou sbírku umístilo do veřejného úložiště GitHub pod licencí Apache-2.0. Vydání, které bylo oznámeno ve výzkumném příspěvku nazvaném „Sdílení pokroku umělé inteligence v matematice“ 6. října 2026, patří mezi dosud největší jednotlivé výpisy matematických výsledků generovaných umělou inteligencí a přichází s formálními kontrolami Lean proof, zkrácenými souhrny úvah a neobvyklými podrobnostmi o tom, kolik výpočet každý výsledek spotřeboval.

Pohyb přistane na poli, které je již na okraji. The New York Times uvedl, že vydání dále rozvířilo matematickou komunitu, která se měsíce potýkala se systémy AI produkujícími seriózní výsledky výzkumu, zatímco Scientific American popsal OpenAI jako „uvolnění dalších stovek matematických výsledků na poli, které je již v šoku“. Pro čtenáře sledující [nejnovější vývoj výzkumu AI] (https://aibuzzwire.news) je vydání testovacím případem toho, jak hraniční laboratoře sdílejí strojově generovanou vědu, aniž by podněcovaly spory o úvěry.

Co je uvnitř úložiště

Sbírka žije v openai/math úložišti na GitHubu. Podle jeho README jsou obsahem matematické rukopisy a podpůrné důkazní artefakty vytvořené interním modelem OpenAI, sestavené jako součást hodnocení vývoje modelů na otevřených výzkumných problémech. Současný katalog obsahuje 722 rukopisů uspořádaných do 372 rodin, kde rodina seskupuje související dokumenty, které mohou zahrnovat hlavní výsledek, doprovodné argumenty, důsledky nebo alternativní důkazy, z nichž každý je klasifikován podle matematické disciplíny.

Adresář předtisků obsahuje soubory PDF, zdrojové soubory a citace podle rukopisu a pokyny k sestavení. Knihovna Lean katalogizuje formální korektury spolu s jejich souvisejícími dokumenty a konfigurací ověřování. Ne každý rukopis byl formalizován: mnoho výsledků nese doprovodné formalizace v Lean, programovacím jazyku používaném k tomu, aby počítače kontrolovaly korektury řádek po řádku, ale README varuje, že některé neformalizované výsledky mohou obsahovat problémy. OpenAI říká, že takové problémy rychle opraví, a zavazuje se zachovat historii veřejných vydání sbírky, zaznamenat opravy a revize jako nové verze a zároveň zachovat přístupnost starších verzí. Každý adresář rukopisu také nese blok BibTeX pro citaci.

Jak byly vytvořeny výsledky

Naprostá většina výsledků pocházela z jediného, pevně stanoveného postupu využívajícího nevydaný interní model OpenAI. V průběhu hodnocení bylo modelu položeno přibližně 4000 problémů. OpenAI uvádí, že průměrný publikovaný výsledek spotřeboval ekvivalent zhruba tří hodin přemýšlení ChatGPT Pro, což je úroveň transparentnosti, která je v tomto odvětví stále vzácná. Společnost tvrdí, že tato hodnocení rozšířila poté, co se výkon na svých stávajících matematických benchmarkech nasytil, a že některé výstupy staví na dřívějších výsledcích vytvořených jejími vlastními modely. Požadavek na odpovídající úroveň významnosti a seskupování nezpracovaných výstupů do rodin a rukopisů vytvořilo publikovaný katalog.

Z tohoto postupu se odchýlily dvě pojmenované výjimky: práce na vytvoření oblasti bez nuly pro funkci Riemann zeta se zápisem pokrývajícím oblast Re(s) > 11/12 upravenou člověkem kvůli čitelnosti a důkaz Hodgeovy domněnky pro odrůdy CM abelian. Oba jsou seriózní matematikou hlavního proudu a oba nyní budou čelit komunitní kontrole.

Zveřejněno je také deset zkrácených shrnutí modelových úvah. Zahrnují výsledky včetně exponentu iracionality pí, symetrické a obecné Mahlerovy domněnky, izomorfismus faktorů volné grupy, kvazipolynomiální hranice pro aritmetické posloupnosti, Kaplanského domněnku o přímé konečnosti v charakteristice dva, Mezard-Parisiho vzorec pro zředěná spinová skla, spontánní magnetizaci v kvantovém, Heiswellově-Marelativově feromagnetickém trojrozměrném systému

Poradní skupina pomohla utvářet vydání

OpenAI říká, že při vývoji osvědčených postupů pro sdílení výsledků konzultovala nezávislou poradní skupinu pro matematiku a umělou inteligenci v Institutu pro pokročilé studium. Tato skupina zveřejnila svá doporučení k odpovědnému vydání 29. září 2026 poté, co obdržela více než 600 odpovědí od matematické komunity. Doporučení jsou přímočará: "nepodporujeme tuto praxi a žádáme je, aby přestali testovat pokročilé matematické problémy na proprietárních modelech." Skupina naléhá na laboratoře, aby ukládaly výsledky do vědeckých úložišť, které žádná laboratoř AI nekontroluje, aby přiřazovaly trvalé citovatelné identifikátory, aby zveřejnily název modelu, použité výzvy a souhrnné řetězce uvažování a aby se zdržely toho, aby se s vydáními výsledků zacházelo jako s marketingovými nástroji.

Vydání OpenAI je zjevně pokusem vyhovět tomuto rámci, spíše než se mu vzepřít. Zda to komunita přijme, je jiná otázka. Průzkum poradní skupiny se konkrétně ptal na scénář, ve kterém laboratoř oznamuje existenci mnoha výsledků, aniž by poskytla podrobnosti, a doporučení, která se objevila, odrážejí hluboké znepokojení nad oznámeními, která předstihují ověřování.

Ověřovací zátěž se přesouvá na matematiky

Praktická výzva nyní patří pracujícím matematikům. Formální Lean nátisky lze kontrolovat mechanicky a jejich přítomnost podstatně snižuje riziko chyby. Ale rukopisy bez formalizací, které samotný README označuje jako potenciálně chybné, vyžadují tradiční peer review a 722 rukopisů je daleko za tím, co může komunita rychle absorbovat. Je zde také otázka priority a kreditu: matematici, kteří strávili roky v blízkosti těchto problémů, budou chtít přesně vědět, na co byl model požádán, co mu bylo dáno a zda byl začleněn nějaký lidský výsledek. Publikace souhrnů výzev a výpočetních statistik OpenAI je navržena tak, aby na některé z těchto otázek odpověděla předem.

Vydání také stanoví šablonu, kterou mohou konkurenti následovat. Anthropic, Google DeepMind a další laboratoře s hraničními modely schopnými matematiky na úrovni výzkumu nyní čelí de facto normě, formulované poradní skupinou, že výsledky skryté na proprietárních modelech by měly být buď zveřejněny s plnou provenience, nebo by se neměly vůbec škádlit.

V současné době je úložiště aktivní, proces formalizace probíhá a opravy jsou veřejně upravovány. Zda se to stane standardní příručkou pro matematiku generovanou umělou inteligencí, nebo dalším bodem vzplanutí v rozšiřujícím se konfliktu mezi laboratořemi a výzkumnými komunitami, z nichž čerpají, bude záležet na tom, jak proběhnou příští týdny zkoumání.

Udržujte si náskok před křivkou umělé inteligence

Věda generovaná umělou inteligencí přechází od tiskové zprávy k recenznímu řízení. Sledujte nejnovější zprávy o AI na aibuzzwire.news, kde najdete pokrytí všech hlavních výzkumných zpráv, uvedení modelu a změny zásad.

Přečtěte si další zprávy o AI →