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