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