Mathematical proofs are getting so complex, they’re becoming difficult to verify. “I think that we’re now inescapably in an age where the large statements of mathematics are so complex that we may never know for sure whether they’re true or false. That puts us in the same boat as all the other scientists.”