A preview of how maths will be done in the future