In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?quantamagazine.org
36 points by isaacfrond 4 days ago | 27 comments