In math, rigor is vital, but are digitized proofs taking it too far?(quantamagazine.org)110 points by isaacfrond 7 months ago | 99 comments
Maths proof of Langlands conjecture is so complex almost no one can explain it(newscientist.com)54 points by isaacfrond 2 years ago | 43 comments
A slightly longer Lean 4 proof tour(terrytao.wordpress.com)70 points by iso8859-1 2 years ago | 17 comments
A proof of concept tool to verify estimates(terrytao.wordpress.com)70 points by jjgreen 1 year ago | 18 comments
New Proofs Probe Soap-Film Singularities(quantamagazine.org)8 points by tzury 11 months ago | 0 comments
New Proofs Probe Soap-Film Singularities(quantamagazine.org)36 points by pseudolus 11 months ago | 3 comments
