Mathematicians assess whether to trust a new theorem through a social process.

“So how do mathematicians know when a proof is correct, when they can trust a new theorem and then use that as an input into additional proofs? It's very much a social process.”