Creo que nuestra definición de matemáticas cambiará fundamentalmente. Los matemáticos solían pasar su tiempo resolviendo ecuaciones complejas, y la automatización les liberó para hacer un trabajo creativo más abstracto. Pero a pesar de todos los avances en computadoras, comunicaciones y AI, las matemáticas todavía se realizan en gran medida de forma aislada con una pizarra y un sofá. La mayor parte de la colaboración se realiza en persona en conferencias. Esto está comenzando a cambiar. Las matemáticas en el futuro se parecerán más a la escritura de software. Los dos convergerán cada vez más.