Modern mathematical proofs are so complex that

Modern mathematical proofs are so complex that it’s becoming impossible to prove them with absolute certainty. About a 1980 proof, an expert says “twenty-five years later we’re still not sure if it’s correct or not. We sort of think it is, but no one’s ever written down the complete proof”. I don’t think I heard my math teachers ever say “sort of”.

• mathematics