Some Thoughts on Automation and Mathematical Research [pdf] | Dark Hacker News