AI’s pace of development versus its priorities · Digg