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

(quantamagazine.org)

3 points | by paulpauper 12 hours ago ago