Mathematics: the Rise of the Machines | ResearchHub