A tool to verify estimates, II: a flexible proof assistant(terrytao.wordpress.com)55 points by jjgreen 1 year ago | 0 comments
AI for math resources, and erdosproblems.com(terrytao.wordpress.com)135 points by nabla9 2 years ago | 28 comments
Mathematics Distillation Challenge – Equational Theories(terrytao.wordpress.com)94 points by picafrost 7 months ago | 5 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
