Some Thoughts on Automation and Mathematical Research [pdf]math.ias.edu2 points·jboynyc··0 commentsOpen articleSaveView on HN