Computation, Proof, Machine: Mathematics Enters a New Age