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

5 pointswww.quantamagazine.org
isaacfrond4day