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