How Do Mathematicians Know Their Proofs Are Correct?
quantamagazine.org