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