Mathematicians may review a proof's lines and argument without checking every line in every instance.

“And then they, you know, they can check a proof. They can check the kind of the lines and the argument, but they don't necessarily check every last line all the time.”