Learning to Discover Interesting Mathematics | Dark Hacker News