五角大楼官员迈克尔：人工智能公司应该进行独立审计。