Humans Solve Erdos Problem | Dark Hacker News