In math, rigor is vital, but are digitized proofs taking it too far?(quantamagazine.org)110 points by isaacfrond 7 months ago | 99 comments
Will Computers Redefine the Roots of Math?(quantamagazine.org)44 points by ykonstant 3 years ago | 35 comments
Computer scientists combine two 'beautiful' proof methods(quantamagazine.org)104 points by tambourine_man 2 years ago | 30 comments
Monumental proof settles geometric Langlands conjecture(quantamagazine.org)183 points by jandrewrogers 2 years ago | 27 comments
Mystery math whiz and novelist advance permutation problem(quantamagazine.org)201 points by sashank_1509 3 years ago | 80 comments
How Terry Tao became an evangelist for AI in math(quantamagazine.org)144 points by Tomte 4 months ago | 127 comments
