🚨 CONVERSATION COMPLÈTE Le médaillé Fields Terry Tao s'assoit avec @jessemhan et @jdlichtman de Math Inc pour une conversation sur l'avenir des mathématiques. "J'ai été convaincu que c'était l'avenir des mathématiques [...] C'est un style d'écriture de preuves qui est en fait, d'une certaine manière, plus facile à lire—plus difficile à vérifier par des humains, mais vous voyez plus clairement les entrées et les sorties d'une preuve, ce que l'écriture traditionnelle cache souvent [...] Je pense que la définition d'un mathématicien va s'élargir."