En förhandsvisning av hur matematik kommer att göras i framtiden