A partial digestion of the HRT counterexample(terrytao.wordpress.com)24 points by ijustlovemath 2 months ago | 2 comments
A digestion of the Jacobian conjecture counterexample(terrytao.wordpress.com)300 points by jeremyscanvic 3 months ago | 126 comments
Palomar: A registry of Lean verified mathematics(terrytao.wordpress.com)163 points by matt_d 2 months ago | 37 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
Local Bernstein theory, and lower bounds for Lebesgue constants(terrytao.wordpress.com)40 points by jjgreen 7 months ago | 7 comments
Mathematical exploration and discovery at scale(terrytao.wordpress.com)253 points by nabla9 11 months ago | 117 comments
