Robin Carnahan said the agency has 150 AI pilots and is zeroed in on purchasing “best-in-class AI technologies.”