If at least one frontier AI model has been trained by a Chinese firm before 2025, will a Chinese frontier AI model have been trained using US cloud compute?