🚨 DERNIÈRE MINUTE : Le médaillé Fields Terry Tao sur l'avenir des mathématiques (3/3) : "Je suis devenu convaincu que c'était l'avenir des mathématiques et j'ai commencé à donner des interviews à ce sujet. C'est un style d'écriture de preuves qui, en réalité, est 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." Entretien complet avec Math, Inc.’s @jessemhan et @jdlichtman à venir.