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

(quantamagazine.org) by paulpauper | Mar 26, 2026 | 0 comments on HN