How many of the top 500 unsolved math problems can humans solve before AI? · Digg