AI may reliably plan a Boston weekend before solving the Riemann hypothesis · Digg