John Carlos Baez: How many Erdős problems will be solved by the end of the year? | Dark Hacker News