Je pense que notre définition des mathématiques va fondamentalement changer. Les mathématiciens passaient autrefois leur temps à résoudre des équations complexes, et l'automatisation leur a permis de faire un travail créatif plus abstrait. Mais malgré tous les progrès des ordinateurs, des communications et de l'IA, les mathématiques sont encore largement réalisées dans l'isolement avec un tableau noir et un canapé. La plupart des collaborations se font en personne lors de conférences. Cela commence à changer. Les mathématiques dans le futur ressembleront davantage à l'écriture de logiciels. Les deux vont de plus en plus converger.