💎 Emily Riehl, professeur de mathématiques renommée à l'Université Johns Hopkins : "C'est ce que je pense que l'avenir des mathématiques pourrait être. Nous pourrions avoir des langages formels spécifiques à un domaine : pour la géométrie algébrique, aussi pour les mathématiques condensées, aussi pour la géométrie différentielle, beaucoup de sous-domaines différents. Et les mathématiciens pourront rapidement apprendre à rédiger des preuves dans de nouveaux systèmes formels grâce à l'aide d'un assistant de preuve informatique, Il leur dira quand ils font quelque chose correctement ou quelque chose incorrectement." Entretien complet avec Math, Inc.’s @jessemhan et @jdlichtman bientôt.