Ask HN: Mathematical discovery as a slow plodding business | Dark Hacker News