Some Thoughts on Automation and Mathematical Research [pdf](math.ias.edu)2 points by jboynyc 3 years ago | 0 commentsNo comments yet