A big Dutch bank’s fancy new AI system is here to help human traders—for now