Acho que nossa definição de matemática vai mudar fundamentalmente. Matemáticos costumavam passar seu tempo resolvendo equações complexas, e a automação os liberava para realizar trabalhos criativos mais abstratos. Mas apesar de todos os avanços em computadores, comunicações e IA, a matemática ainda é feita em grande parte isoladamente, com um quadro-negro e um sofá. A maior parte das colaborações é feita presencialmente em conferências. Isso está começando a mudar. Matemática no futuro vai se parecer mais com um software de escrita. Os dois vão convergir cada vez mais.