ProofWiki: Online compendium of mathematical proofs(proofwiki.org)

130 points by Tomte 2 years ago | 28 comments

Proofs from the Book(en.wikipedia.org)

56 points by a_imho 3 years ago | 4 comments

Book of Proof (2018)(people.vcu.edu)

51 points by kaladin-jasnah 3 years ago | 8 comments

Who Can Understand the Proof? A Window on Formalized Mathematics(writings.stephenwolfram.com)

177 points by ColinWright 1 year ago | 97 comments

Why are we even doing all this?(terrytao.wordpress.com)

78 points by smilelamp 11 days ago | 31 comments

A guest post by Rikab Gambhir on Terence Tao's blog reflecting on why mathematicians and physicists do their work as AI reshapes research.

Removing Sybils from an Open Network(wiki.saito.io)

41 points by mattwilsonn888 3 years ago | 34 comments