T terrytao.wordpress.com AI for math resources, and erdosproblems.com 160 points nabla9 2 years ago 35 comments