In math, rigor is vital, but are digitized proofs taking it too far?

 (quantamagazine.org)

114 points | by isaacfrond 5 days ago ago

99 comments