Pravda zostane vždy pravdou.

Nedávno sa AI agentom podarilo vyriešiť matematický problém, za ktorého vyriešenie je vypísaná odmena jeden milión dolárov. Ide o problém súvisiaci s Navierovými–Stokesovými rovnicami, ktorý matematici doteraz nedokázali všeobecne vyriešiť. AI agenti predložili matematický dôkaz, ktorý teraz overujú ľudskí matematici.

Keď som bol tínedžer, niektorí ľudia vtedy tvrdili, že žiadny stroj nedokáže poraziť šachového majstra sveta. Šach sa považoval za mimoriadne komplikovanú hru a len ťažko si bolo predstaviť, že by počítač mohol niekedy hrať na úrovni najlepších ľudských hráčov.

V roku 1997 však počítač Deep Blue od spoločnosti IBM porazil v zápase úradujúceho majstra sveta Garryho Kasparova. Jedna z predstáv o hraniciach schopností strojov sa tým definitívne rozplynula.

Šach je pritom stále mimoriadne komplikovaná hra. Dnes už však považujeme za samozrejmé, že najsilnejšie šachové počítače sú výrazne silnejšie než človek a že ani súčasný majster sveta nemá v serióznom zápase proti špičkovému šachovému enginu reálnu šancu na víťazstvo. To, čo bolo kedysi považované za takmer nemožné, sa stalo bežnou skutočnosťou.

Práve preto si myslím, že podobný vývoj môže nastať aj v matematike.

Osobne verím, že budúce, oveľa výkonnejšie a dômyselnejšie systémy umelej inteligencie dokážu vyriešiť aj mnohé z najťažších matematických problémov, ktoré boli sformulované na začiatku 20. storočia. Jedným z najznámejších príkladov sú problémy, ktoré sformuloval francúzsky matematik Henri Poincaré.

Možno sa dnes na matematické problémy pozeráme podobne, ako sa ľudia kedysi pozerali na šach: ako na oblasť, v ktorej má človek výnimočné schopnosti, a preto bude veľmi ťažké – ak vôbec možné – aby ho stroj prekonal.

Dejiny technológií však ukazujú, že hranice toho, čo považujeme za „výhradne ľudskú schopnosť“, sa môžu veľmi rýchlo posúvať.