Almost all mathematicians are like this: they can identify correct proofs and the invalidity of incorrect proofs, although they cannot define the exact meaning of a proof
Some mathematicians do not recognize correct proofs, but they can recognize incorrect proofs