Umělá inteligence od společnosti OpenAI vyřešila matematický problém, do kterého si elitní mozky vylamovaly zuby celých 80 let. Hádanku z roku 1946 nastavil maďarský matematik Paul Erdős — a velká část matematické komunity se kolem ní v průběhu desetiletí prostě vzdala, protože složitější cesta vypadala jako příliš nudná dřina pro malou šanci na výsledek. AI ji ovšem zvládla — a klíč nebyl ve výpočetní síle, ale ve formulaci zadání.
Erdősův 80letý spor o tečky vzdálené 1 cm
Problém zní jednoduše: nakreslete na papír tečky a změřte, kolik dvojic je od sebe vzdálených přesně 1 cm. Otázka přitom směřuje k matematickému limitu na nekonečně velké ploše — kolik takových dvojic lze maximálně vyždímat, když počet teček poroste do nekonečna? Erdős na hádanku vypsal odměnu, podobně jako na řadu svých dalších výzev. Ze 100 dolarů za menší výzvy až 500 dolarů za ty „opravdu vyhlášené specky“. Komunita se v 80 letech od roku 1946 ke všem osvědčeným nástrojům utekla — od čtvercových mřížek přes trojúhelníkové struktury až po šestiúhelníkové plástve. Erdős sám věřil, že nějaká pevná mřížková struktura je nepřekonatelný limit, a celý matematický svět s tím v zásadě souhlasil.
Klíč byl v promptu: otevřená otázka místo svazování šablonami
Rozdíl OpenAI proti běžným přístupům spočíval podle popisu na tom, jak se k AI promlouvalo. Inženýři nevzali svůj reasoning model a neřekli mu: „Vypočítej maximální hustotu pomocí téhle konkrétní geometrické věty.“ Takový pokyn by AI svázal lidskými šablonami a natlačil ji do předem vyjetých kolejí. Místo toho položili otevřenou otázku, jejíž formulace zněla v podstatě: „Myslíš si, že měl Erdős pravdu, nebo se pletl? Zkus to rozlousknout.“ Neřekli, jakou cestou má jít — řekli, ať to prostě vyzkoumá.
Místo plochých mřížek se AI zakoukala do úplně jiné matematické čtvrti. Vytáhla si body se zvláštními exotickými souřadnicemi ze vzdáleného a vysoce abstraktního koutu teorie čísel. Když lidé skládají tyče, představují si je tradičně poskládané na ploše fotbalového hřiště. AI ale došlo, že když ty spoje postavíte na strukturu, která funguje spíš jako komplexní točité schodiště, vzdálenosti se najednou začnou chovat úplně jinak — a placetá mřížka přestane být stropem. Tím dosavadní rekord zlomila a dokázala, že Erdős se v odhadu výsledku mýlil.
42 stránek úvah a lidský dohled
Klíčové ověřitelnosti výsledku bylo, že AI nepředložila „rychlé řešení“ bez postupu. Vyprodukovala masivní, neuvěřitelně chaotický řetězec úvah — 42 hustě popsaných stránek, kde dokumentovala každou slepou uličku, vlastní chyby i jednotlivé logické kroky. V tomto bodě podle popisu nastoupil lidský faktor: matematici se museli prokousat 42 stránkami textu, ověřit podkladovou matematiku, vyhodit balast a zhustit důkaz do třístránkové elegantní podoby. Nezávislé týmy pak finální verzi recenzovaly. Stroj objevil zlato v řece, lidé z něj udělali zlatou cihlu. Důkaz byl matematicky čistý a nezávisle potvrzený.
Nadlidská úroveň trpělivosti je termín, který část matematiků pro AI v této úloze použila. Aby se k řešení dostal lidský matematik, musel by se pomalu brodit „brutálně nudným úmorným močálem“ složitého aparátu kvůli mlhavé šanci, že by to mohlo klapnout. Pro lidský mozek je obtížné si obhájit, že stráví roky života něčím, co od pohledu vypadá jako naprostá blbost. AI takovou bariéru nemá — vydala se do temné, blátivé, nekonečné uličky, aniž by začala zívat. Některý z citovaných expertů to nazval Kolmogorovou komplexitou modulo experty: AI ze složitého geometrického výstupu smáčkla informaci do sady přesných, ověřitelných pravidel s šokující efektivitou.
Tři oblasti, kde algoritmická trpělivost otevírá nové cesty
Z tohoto jednoho průlomu by bylo zavádějící hned vyvozovat, že AI „překonala matematiky“. Model dál seká chyby, halucinuje, je výpočetně extrémně drahý a bez lidského dohledu se časem ztratí v tom, co vlastně dělá. Náklady tohoto konkrétního úspěšného výstupu nejsou veřejně známé — předchozí neúspěšné pokusy mohly stát stovky či tisíce tisíc dolarů za výpočetní čas. AI vyhledává, navrhuje a ověřuje, ale lidé pořád určují, na kterých problémech reálně záleží, a chápou jejich praktický význam.
Skutečná hodnota průlomu leží jinde: schopnost najít kombinace řešení, které člověk zahodí jako příliš chaotické, lze aplikovat na běžné inženýrské problémy. Logistika nemocničních a dopravních systémů, optimalizace prázdných kamionů křižujících Evropou, urbanistický návrh dopravních sítí s dokonalou zelenou vlnou semaforů, biologie a chemie při návrhu nových léků a skládání proteinů — to vše jsou vícerozměrné hádanky, kde lidé dnes používají standardní šablony (jako tu čtvercovou mřížku) a AI by mohla nabídnout neintuitivní „točitá schodiště“. Paralela je s nástupem softwaru pro počítačové projektování v architektuře: architekti tehdy také nezmizeli, jen díky CAD systémům dostali plátno pro divočejší, předtím nepředstavitelné konstrukce.
Závěr
Erdősova hádanka z roku 1946 se nezhroutila proto, že by AI byla chytřejší než matematici, ale proto, že stroj má jinou definici nudy. Pro lidský mozek byla cesta příliš zablácená a moc strašidelná na to, aby se jí někdo vydal naplno. AI se po ní prošla, vyplivla 42 stránek halucinací i geniálních záblesků a lidé ji dokázali ověřit. Nárůst, který tahle událost představuje, není v tom, že by stroj uměl víc — ale že kufřík s nářadím, který lidstvo používá k vědě a inženýrství, právě dostal navíc nástroj s nekonečnou trpělivostí. Cena za jeho provoz je sice astronomická a chyby se opakují, ale směr je jasný: lidská intuice a strojová vytrvalost se na složitých problémech doplňují, ne nahrazují.
