🚨 NOVINKY: Medailista Fields Terry Tao o budoucnosti matematiky (3/3): "Přesvědčil jsem se, že tohle je budoucnost matematiky, a začal jsem o tom dávat rozhovory. Je to jiný styl psaní důkazů, který je v některých ohledech dokonce snazší na čtení – těžší pro lidi ho ověřit, 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šíří." Celý rozhovor s Math, Inc. @jessemhan a @jdlichtman brzy přijde.