🚨 CELÝ ROZHOVOR Medailista Fields Terry Tao si sedá s @jessemhan a @jdlichtman společnosti Math Inc k rozhovoru o budoucnosti matematiky. "Byl jsem přesvědčen, že tohle je budoucnost matematiky [...] Je to jiný styl psaní důkazů, který je v některých ohledech dokonce snazší na čtení – těžší ho lidé ověří, ale jasněji vidíte vstupy a výstupy důkazu, který tradiční psaní často skrývá [...] Myslím, že definice matematika se rozšíří."