Doufejme, že to bude drhnout. O smyslu a budoucnosti matematiky v éře chytrých strojů

Když jsme tento Salon připravovali, dali jsme mu záměrně provokativní pracovní název Rekviem za matematiku?. Navazujeme tím na nedávné průlomy v umělé inteligenci, která, zdá se, už dokáže řešit i velmi obtížné matematické problémy – a její schopnosti se právě v posledních době výrazně posunuly. Terence Tao, držitel prestižní Fieldsovy medaile, jakési matematické Nobelovky, nedávno prohlásil, že jsme svědky „konce romantické éry matematiky, věku hrdinů“, kdy práci osamělých géniů začne nahrazovat mnohem průmyslovější forma oboru podporovaná stroji. Jiní jdou ještě dál a spekulují, zda matematika jako lidská disciplína vůbec přežije. O její budoucnosti přišli diskutovat Petr Zemánek, docent z Ústavu matematiky a statistiky Přírodovědecké fakulty Masarykovy univerzity, David Stanovský, docent z katedry algebry Matematicko-fyzikální fakulty Univerzity Karlovy, a Marian Kechlibar, vystudovaný matematik a softwarový vývojář, autor série Zapomenuté příběhy a také kolega-komentátor publikující v Echu.