Uskon, että määritelmämme matematiikasta muuttuu perustavanlaatuisesti. Matemaatikot käyttivät aikansa monimutkaisten yhtälöiden ratkaisemiseen, ja automaatio vapautti heidät abstraktimpaan luovaan työhön. Mutta kaikista tietokoneiden, viestinnän ja tekoälyn edistysaskeleista huolimatta matematiikkaa tehdään silti suurelta osin erillään liitutaulun ja sohvan kanssa. Suurin osa yhteistyöstä tapahtuu paikan päällä konferensseissa. Tämä alkaa muuttua. Tulevaisuudessa matematiikka muistuttaa enemmän ohjelmistojen kirjoittamista. Nämä kaksi lähestyvät yhä enemmän.