🚨 CONVERSAȚIE COMPLETĂ Medaliatul Fields, Terry Tao, stă de vorbă cu @jessemhan și @jdlichtman de la Math Inc pentru o discuție despre viitorul matematicii. "Am fost convins că acesta este viitorul matematicii [...] Este un stil diferit de scriere a demonstrațiilor, care este în unele privințe mai ușor de citit — mai greu de verificat de către oameni, dar vezi mai clar intrările și ieșirile unei demonstrații, pe care scrierea tradițională le ascunde adesea [...] Cred că definiția matematicianului se va lărgi."