Svět, ve kterém se teprve schylovalo k covidu, v létě 2019 šokoval projekt Rámanudžanova stroje (Ramanujan machine), kterým v izraelském institutu Technion vzkřísili extravagantního indického matematického génia Šrínivásy Rámanudžana. Ten před sto lety uhranul své vrstevníky tím, že chrlil jeden vzorec s řešením za druhým, aniž by se zatěžoval jejich dokazováním. To mu vyneslo přezdívku „mašina na domněnky“ (conjecture machine).
Ido Kaminer a jeho spolupracovníci využili umělou inteligenci a výpočetní sílu počítačových sítí a spustili fungující Rámanudžanův stroj. Generuje matematické domněnky či hypotézy (conjectures) pro základní konstanty, a to nejen teoreticky. Už má na svém kontě řadu úspěchů. Svůj výzkum publikovali v prestižním Nature.
Matematickou domněnku je nejprve nutné dokázat. Pokud platí, tak se z ní stává matematický teorém. Objevy matematických domněnek pro základní konstanty jsou poměrně vzácné. Obvykle pocházejí od přírodovědného génia s mimořádnou intuicí, jako byli například Newton, Riemann, Goldbach, Gauss, Euler a samozřejmě Rámanudžan. V Technionu postavili virtuálního Rámanudžana, který se chová vlastně úplně stejně jako indický génius. Generuje domněnky, ale s jejich dokazováním se nezatěžuje. Musí je dokazovat lidští matematici. Alespoň prozatím.
Rámanudžanův stroj je fascinujícím úspěchem, který vznikl jako výstřední nápad. Generuje nejen známé rovnice pro základní konstanty, ale už vymyslel několik domněnek, které jsou zcela nové. Například pro Ludolfovo číslo, Eulerovo číslo, Apéryho konstantu nebo Catalanovu konstantu. To zcela mění pravidla hry. Za staletí pokroku vědy se objevilo jen několik desítek matematických domněnek tohoto typu. Matematičtí géniové jsou bohužel velmi vzácní. Nebo přesněji řečeno byli, až doposud.
Teď máme Rámanudžanův stroj. V Technionu na něm neustále pracují, takže se jeho výkon bude dále zlepšovat. Do budoucna by z něho mohl vzniknout pokročilý matematický nástroj, který bude generovat matematické domněnky ve všech oblastech matematiky. Kaminerův tým spustil web RamanujanMachine.com, který má přiblížit veřejnosti pokročilý matematický výzkum. Každý si tam může osahat generátor domněnek.
Video: Prof. Ido Kaminer Technion Lab Tour
Literatura
Nová umělá inteligence je výkonnější, když spí a sní
Autor: Stanislav Mihulka (16.02.2019)
Nový stroj generuje kvantové superpozice možných budoucností
Autor: Stanislav Mihulka (10.04.2019)
Rámanudžanův stroj automaticky chrlí domněnky pro základní konstanty
Autor: Stanislav Mihulka (17.07.2019)
Diskuze:
pirát Tlamsa
Eva M,2021-02-20 15:55:51
:) laikovi popis trošku připomíná stroj z veselé povídky, kterak konstruktoři Klapacius a Trurl postavili stroj na informace pirátu Tlamsovi... /ale třeba ti lidští dokazovači z toho nějakou inspiraci vyloví.../
Re: pirát Tlamsa
Vladimír Bzdušek,2021-02-20 18:38:19
Všetky domnienky samozrejme začínajú na písmeno "N" .
Re: pirát Tlamsa
Martin Zeithaml,2021-02-20 18:48:57
Dík za připomenutí jedné ze super knih které jsem četl, už jsem ji vyhrabal v knihovně a pustím se do ní :)
Diskuze je otevřená pouze 7dní od zvěřejnění příspěvku nebo na povolení redakce