Un aperçu de la façon dont les mathématiques seront faites à l'avenir