His departure removes one of Trump’s most trusted Silicon Valley allies — and one of the artificial intelligence industry’s loudest cheerleaders — at a time when lawmakers are figuring out how to ...