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