Supt. Carvalho moves ahead with troubled AI effort despite collapse of tech contractor