In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

Probably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.