>most formalizing effort is not primarily motivated by a desire to make sure there are no errors in the math.

Is this because the proof author is generally confident that the proof is essentially correct?