Some Thoughts on Automation and Mathematical Research [pdf]https://www.math.ias.edu/~akshay/research/IASEssay.pdf by jboynyc • 4 years ago 2 0 4 years agoMAmath.ias.edu