In math, rigor is vital, but are digitized proofs taking it too far?quantamagazine.org128 pointsisaacfrond3 months ago