Acho que a nossa definição de matemática vai mudar fundamentalmente. Os matemáticos costumavam passar o seu tempo a resolver equações complexas, e a automação libertou-os para fazer um trabalho criativo mais abstrato. Mas, apesar de todos os avanços em computadores, comunicações e IA, a matemática ainda é feita em grande parte de forma isolada, com um quadro-negro e um sofá. A maior parte da colaboração é feita pessoalmente em conferências. Isto está a começar a mudar. A matemática no futuro parecerá mais com a escrita de software. Os dois vão convergir cada vez mais.