Jen jeden den poté, co OpenAI obecně zpřístupnila svůj nejvýkonnější model, společnost říká, že systém vytvořil kompletní důkaz o cyklu dvojitého pokrytí Conjecture – oslavovaném otevřeném problému v teorii grafů, který vzdoroval matematikům zhruba půl století.
Výzkumník OpenAI Ethan Knight oznámil výsledek 10. července 2026 a uvedl, že GPT-5.6 Sol Ultra "vytvořil důkaz 50 let staré Cycle Double Cover Conjecture s použitím 64 subagentů za méně než jednu hodinu." Tvrzení se rychle vyšplhalo na vrchol Hacker News a vyvolalo stovky komentářů od matematiků a inženýrů, kteří debatovali o tom, zda důkaz obstojí.
Pro každého, kdo sleduje nejnovější vývoj AI, je výsledkem pozoruhodná ukázka toho, kam hraniční modely směřují – a připomínka, že jejich matematická tvrzení je stále třeba kontrolovat staromódním způsobem.
Co je dohad o dvojitém krytu cyklu?
Tento dohad se nachází v oblasti matematiky zvané teorie grafů. Jednoduše řečeno, klade si klamavě jednoduchou otázku: mohou být hrany jakéhokoli „bezmůstkového“ grafu – takového, který nemá žádnou hranu, jejíž odstranění by jej rozdělilo – vždy pokryty sbírkou cyklů tak, aby se každá hrana objevila přesně dvakrát?
Tento problém nezávisle na sobě položilo několik matematiků v průběhu let, včetně Paula Seymoura v roce 1979 a George Szekerese v roce 1973, s dřívějšími kořeny v práci W. T. Tutte a Alon Itai a Michael Rodeh. Přes své jednoduché konstatování se stal jedním z nejznámějších neřešených problémů v oboru a dílčí výsledky byly známy pouze u speciálních tříd grafů.
Podle důkazu publikovaného OpenAI tento argument redukuje problém na kubické grafy bez smyček, poté se opírá o klasický výsledek — teorém nulového toku nad grupou F32 (ekvivalent Tutteho 8-tokového teorému) — a klíčový krok lineární algebry, který převádí označení hran na strukturu potřebnou pro dvojité pokrytí cyklu. Zápis má pouze několik stránek a zejména nepoužívá „žádnou matematiku vyvinutou za posledních 30 let“, jak poznamenal jeden komentátor Hacker News.
Jak se k tomu GPT-5.6 Sol Ultra přiblížil
To, co odlišuje tento výsledek od běžných odpovědí chatbotů, je způsob nasazení modelu. GPT-5.6 Sol Ultra běžel v režimu „multiagent v2“ OpenAI a vytvořil systém až 64 spolupracujících subagentů, kteří paralelně zkoumali různé strategie důkazů. OpenAI vydalo celou výzvu spolu s důkazem a nabídlo vzácný pohled na pokyny poskytnuté systému.
Výzva instruovala model, aby „používal multiagent v2 agresivně a dynamicky“, aby udržoval „různorodé portfolio přístupů“ a nasadil nepřátelské agenty k auditu jakýchkoliv kandidátů na běžné nástrahy – jako jsou uzavřené cesty maskující se jako cykly nebo náhodné kruhové uvažování. Dokonce řekl systému, aby „strávil nad tím alespoň 8 hodin, než vůbec pomyslí na návrat nebo to vzdát“, ačkoli poslední běh údajně skončil za méně než hodinu.
V části „Prohlášení o použití AI“ v důkazu je OpenAI explicitní: „Důkaz v této poznámce je výhradně kvůli GPT 5.6 Sol Ultra a zápisu s Codexem (s GPT 5.6 Sol).“
Ne všichni jsou zatím přesvědčeni
Matematická komunita reagovala směsí vzrušení a opatrnosti – a tato skepse je na správném místě. V době zveřejnění nebyl důkaz formálně ověřen v asistentovi důkazu, jako je Lean, ani neprošel tradičním peer review.
Na Hacker News několik komentátorů poznamenalo, že krátké, elegantní důkazy slavných dohadů si zaslouží obzvláště pečlivé prozkoumání. "Je to velmi krátký důkaz, který nepoužívá žádnou matematiku vyvinutou za posledních 30 let," napsal jeden uživatel. "Což nemusí nutně znamenat chybu, ale vzhledem k absenci mechanizace v Lean nebo řádné vzájemné kontrole si myslím, že je předčasné to zveřejňovat."
Jiní poukázali na to, že přední knihovny pro formální důkazy teorie grafů ještě nejsou dostatečně vyspělé, aby ověřily výsledky na úrovni výzkumu tohoto druhu, což znamená, že ověření možná bude muset pocházet od lidských expertů, kteří argumenty čtou řádek po řádku. Samotné OpenAI zarámovalo oznámení jako součást širšího vzoru: „Více výpočtů v testovacím čase vede k větší inteligenci,“ uvedla společnost, čímž naznačila, že multiagentní přístup – nikoli tento jediný výsledek – je skutečný příběh, který chce vyprávět.
Proč na tom záleží
I když důkaz Cycle Double Cover nakonec potřebuje opravu, epizoda signalizuje významný posun v tom, co velké jazykové modely dokážou udělat v čisté matematice. Systémy Frontier AI již dříve přinesly nové výsledky výzkumu ve specializovaných oblastech – včetně dalších nedávných tvrzení o vyřešených problémech v geometrii a kombinatorice – ale útok na pojmenovaný, desítky let starý dohad s koordinovaným rojem uvažujících agentů značně zvyšuje laťku.
Pro výzkumníky je to dvojí. Za prvé, multiagentní recept – mnoho nezávislých pokusů, vzájemné opylení myšlenek a kontradiktorní audit – se zdá být skutečně užitečnou šablonou pro těžké řešení problémů. Zadruhé, problém ověřování je nyní přímo na lidech: model může generovat kandidátské důkazy rychleji, než je komunita může zkontrolovat.
Toto napětí pravděpodobně definuje další fázi matematiky podporované umělou inteligencí. Jak řekl jeden komentátor, pokud tento důkaz obstojí, „někdo se chystá začít seznam“ dalších dlouhotrvajících problémů, které je třeba vrhnout na další generaci modelů.
Prozatím budou matematici pečlivě číst třístránkovou poznámku — tužka v ruce —, zatímco zbytek průmyslu umělé inteligence bude sledovat, zda se hodinové úsilí GPT-5.6 stane součástí trvalého matematického záznamu.
Udržujte si náskok před AI
Další informace o průlomových modelech hranic a pokrytí výzkumu AI najdete na [domovské stránce AI Buzz Wire] (https://aibuzzwire.news).
Přečtěte si více zpráv o AI →---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
