A slightly longer Lean 4 proof tour(terrytao.wordpress.com)70 points by iso8859-1 2 years ago | 17 comments
Mathematical exploration and discovery at scale(terrytao.wordpress.com)253 points by nabla9 11 months ago | 117 comments
The distribution of eigenvalues of GUE and its minors at fixed index(terrytao.wordpress.com)11 points by surprisetalk 1 year ago | 1 comments
A digestion of the proof of Sendov's conjecture(terrytao.wordpress.com)35 points by surprisetalk 2 months ago | 11 comments
Palomar: A registry of Lean verified mathematics(terrytao.wordpress.com)163 points by matt_d 2 months ago | 37 comments
