Hacker News new | ask | show | jobs
Some Thoughts on Automation and Mathematical Research [pdf] (math.ias.edu)
2 points by jboynyc 1345 days ago