Nešlo o složitou novou matematiku. Alespoň ne tento. Byla to otázka vytrvalosti.
OpenAI představilo řešení pokrytí s dvojitým cyklem těsně před vydáním svého nejnovějšího modelu GPT-5.6 Sol. Včasnost? Samozřejmě čistý marketing. dopad? Tichá revoluce v pohledu na umělou inteligenci a na to, co umí. Lidé tento problém žvýkají už více než půl století. GPT-5.6 to vyřešil jedním konkrétním pokynem: nevzdávej to.
Je to součást většího trendu. Techničtí giganti masivně investují do čisté matematiky. Ne proto, že by pro ně byla důležitá krása pro krásu. Protože matematika je konečným měřítkem. Ona to dokazuje. Alespoň strojová verze.
“Nástroje AI výrazně změní matematický výzkum.”
— Nogo Alon, matematik z Princetonu, o průlomu na Slunci. Alon označil důkaz za překvapivě krátký. Což, když se mě ptáte, je to ještě vtipnější.
Zde je to, co potřebujete vědět. Teorie grafů zní abstraktně, až nudně. Graf jsou jednoduše body (vrcholy) a čáry (hrany), které je spojují. Internet? Tohle je hrabě. Vaše sociální síť? Také hrabě.
Ještě v 70. letech matematici teoretizovali o těchto tvarech něco zajímavého. Mysleli si, že téměř každý graf má 2x pokrytí cyklu. co to je? Sada smyček, které pokrývají celou konstrukci přesně dvakrát. Každá hrana je přesně uvnitř dvou smyček.
Je snadné si to představit.
Dokázat? Tady uplynula desetiletí.
Velké mysli to zkusily. Pro konkrétní případy to rozebrali. Byli si blízcí. Ale obecný důkaz? Vyklouzlo to. Pokaždé.
Minulý pátek zasáhla AI.
Řešení se ukázalo jako elegantní. Téměř jednoduché. AI ukázala, že graf lze pokrýt maximálně osmi smyčkami. Samozřejmě existují technické nuance. Grafy držené pohromadě jednotlivými tenkými vlákny (řezané hrany) se nepočítají. Ale pro zbytek? Připraveno.
Tady je řada.
Důkaz nepoužil jasné nové myšlenky. Žádné průlomové teorie zrozené v křemíkových snech. Recykloval metody, které už lidé vyzkoušeli. Metody, které jsme vyhodili do koše nebo nechali na polici, protože jsme se nudili. Nebo děsivé.
Napadlo vás někdy, že „obtížný“ může znamenat jen „nepopulární“?
Andrew Southerland z Massachusettského technologického institutu si to myslí. Naznačuje, že pověst složitosti může být past. Studenti se jí vyhýbají. Odborníci jdou dál. Stává se sebenaplňujícím se proroctvím zapomnění. Když LLM nemá ego nebo kariéru, o kterou by se musel starat, prostě rýpe.
„Budeme nadále svědky toho, že údajně ‚složité‘ problémy mají ‚jednoduchá‘ řešení.“
Southerland nehádá slepě. OpenAI zveřejnilo dotaz používaný k vyřešení tohoto problému. Odhaluje unavenou, mechanickou práci za magií. Žádost nebyla poezie. Bylo to lešení. Pokyny pro šedesát čtyři agentů, jak spolu komunikovat paralelně. Křížová validace. Snížení lží a halucinací, které tyto vzorce sužují.
Skutečný trik? Směrnice.
Nežádali jen o odpověď. Řekli robotovi: Strávte alespoň 8 hodin. Nemysli na to, že se vzdáváš.
Většina z nás by to do druhé hodiny vzdala. Nebo by řekli: “To je nemožné.”
Stroj zůstal u klávesnice. osm hodin.
Ukazuje se, že genialita může být jen vytrvalost, na kterou jsme příliš unavení. A teď, když je tady AI, možná knihovna otevřených problémů není pevnost. Tohle je zahrada, kde jsme zapomněli zalít květiny.
