Russia and China compare notes on ‘military use of artificial intelligence’