Elon Musk is mostly gone from Washington, but one of his lieutenants wants to use artificial intelligence to continue its mission to shrink the federal headcount. Tech critics are skeptical.