In math, rigor is vital, but are digitized proofs taking it too far?(quantamagazine.org)110 points by isaacfrond 7 months ago | 99 comments
Alexander Grothendieck Revolutionized 20th-Century Mathematics(quantamagazine.org)124 points by anujbans 5 months ago | 26 comments
A New Approach to Computation Reimagines Artificial Intelligence(quantamagazine.org)47 points by theafh 3 years ago | 25 comments
How Terry Tao became an evangelist for AI in math(quantamagazine.org)144 points by Tomte 4 months ago | 127 comments
Will Computers Redefine the Roots of Math?(quantamagazine.org)44 points by ykonstant 3 years ago | 35 comments
A New Geometry for Einstein's Theory of Relativity(quantamagazine.org)120 points by jandrewrogers 1 year ago | 8 comments
