Dutch police are using AI to pick out the most solvable cold cases