The US has now declared that three of China’s AI champions – Alibaba, Baidu and Tencent Holdings – aid the Asian country’s military.