Nvidia AI Chips Make It Into Chinese Military Amid US Ban