Q quantamagazine.org In math, rigor is vital, but are digitized proofs taking it too far? 128 points isaacfrond 7 months ago 107 comments
