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

(quantamagazine.org)

1 points | by isaacfrond 6 hours ago ago