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

(quantamagazine.org)

1 points | by sohkamyung 5 hours ago ago