Cesta k umělé inteligenci schopné nadlidské matematiky byla již dlouho jasná, ale vyřešení tak zásadního problému tak rychle vyvolalo v oboru šok. Matematici se ptají, co jim zbude, pokud budou jejich rozpracované projekty vysáty a přivlastněny jinými, a jak by měli vzdělávat příští generaci, když i ďábelsky složité úlohy lze vyřešit pouhým stisknutím tlačítka.

„Cítím se trochu v šoku,“ řekla prof. Colva Roney-Dougalová, vedoucí katedry čisté matematiky na Univerzitě v St Andrews. Na nedávné veřejné přednášce uvedla, že podle ní je nepravděpodobné, že by umělá inteligence v dohledné době dokázala něco pozoruhodného. „O tři měsíce později se ukazuje, že jsem se naprosto mýlila,“ říká. „Všichni jen čekáme, co se stane. Děje se to tak rychle.“

Profesor David Silvester, matematik z Univerzity v Manchesteru, uvedl, že vzhledem k tempu změn se obor jeví jako „velmi nestabilní“. „Všechny dosud nevyřešené matematické problémy by se mohly vyřešit, pokud by na to byly dostatečné zdroje,“ řekl. „Tento vývoj je nezvratný. To se nezmění.“

Profesor James Robinson, matematik z Univerzity ve Warwicku, uvedl, že obtížné problémy jsou palivem matematiky a pohánějí kreativní přístupy napříč generacemi. „Je frustrující sledovat, jak tyto velké technologické společnosti toto palivo spotřebovávají jen proto, aby se mohly chlubit tím, jak skvělý je jejich nejnovější model,“ řekl. „Vypadá to jako nedospělé chvástání na hřišti ve velkém měřítku, podpořené miliardami dolarů a potenciálem značného poškození životního prostředí v době, kdy je klimatická změna pravděpodobně největší výzvou, před kterou stojíme.“

Jedním z důvodů, proč se Silvester dal na matematiku, byl ten vzrušující pocit, který přichází s vyřešením problému. Pro mnoho matematiků je lákavé právě to, že stráví týdny, měsíce a roky obcházením problému, jeho rozebíráním, zkoušením jednoho přístupu za druhým a nikdy to nevzdávají. „Bez toho se mi tento obor jeví úplně jinak,“ řekl Silvester.

Matematici již věnují značné množství času ověřování důkazů svých kolegů. Právě díky tomuto druhu kontroly byla v roce 1993 odhalena mezera v práci Andrewa Wilesa na Fermatově poslední větě, což si vyžádalo další rok úsilí k nápravě této chyby. Silvester se domnívá, že matematici se možná budou muset zabývat stále větším počtem důkazů, které vyprodukuje umělá inteligence. „Je to spíš jako stát se účetním – provádíte audit, kontrolujete,“ řekl.

V celém oboru dochází k řetězovým reakcím. Matematici jsou přijímáni na základě svých publikovaných prací, ale problémy, na kterých pracovali měsíce, může nyní umělá inteligence vyřešit za pár dní. „Je tu skutečný pocit, že ‚mohl bych strávit příští měsíc přemýšlením o něčem a někdo jiný to vyřeší stisknutím tlačítka‘,“ říká Roney-Dougal. „To je hrozné a myslím, že to bude hrozné ještě pár let.“

Je to také problém při výuce studentů bakalářských programů. Univerzity běžně zadávají studentům úlohy a testy, které mají vypracovat doma. Tento druh studijních úkolů je nyní minulostí. „Nemá smysl to dělat, protože nemůžeme zaručit jejich autentičnost,“ říká Silvester. Přednášející nyní musí studentům říkat, aby u některých úloh AI nepoužívali, zatímco u jiných jim její použití povolují: koneckonců, matematika s podporou AI je budoucnost.

Navzdory všem těmto změnám se profesor Alexander Paseau, který se zabývá filozofií matematiky na Oxfordské univerzitě, domnívá, že matematika o svou přitažlivost příliš nepřijde. „Výzva stále zůstává, i kdyby byla AI nakonec v výzkumu lepší než lidé,“ řekl. „Stále budete chtít být schopni matematiku pochopit sami. A stále si ji budeme užívat a oceňovat její krásu: čisté potěšení a krása matematického důkazu tu budou vždy. Umělá inteligence nám nic z toho nevezme.“

Mnoho matematických úloh řešených pomocí umělé inteligence neřeší problémy od nuly, ale staví na práci lidí, dodal. Průlom společnosti OpenAI se například do značné míry opíral o práci madridských matematiků Diega Córdoby a Luise Martineze-Zoroa.

Práce OpenAI popsala řešení Navier-Stokesova problému, který zahrnuje rovnice předpovídající chování tekutin a dokonce i počasí. Jedná se o jeden ze sedmi miléniových problémů zveřejněných Clayovým matematickým institutem v roce 2000. Úterní oznámení společnosti vyvolalo v odborné veřejnosti další obavy. OpenAI uvedlo svůj nejnovější model do provozu poté, co se doslechlo o zvěstech, že matematici vyřešili dva miléniové problémy. Prof. Tristan Buckmaster z New York University a Levent Alpöge ze společnosti Anthropic pracovali na souvisejících úkolech týkajících se Navier-Stokesových rovnic a při tom využívali produkty OpenAI. Měli podezření, že se model OpenAI učil z jejich rozpracovaných výzkumů. Po prošetření OpenAI popřelo, že by tomu tak bylo.

Někteří matematici však zůstávají opatrní. „Hlavním tématem v matematice je nyní to, že nikdo nechce nic sdílet,“ řekl Buckmaster deníku Guardian. „Matematika je dnes jiná než ještě před pár dny. Musíme se rozhodnout, co s tím uděláme.“

Zdroj  v angličtině ZDE