“Chinese AI labs like DeepSeek have not demonstrated capabilities that suggest they are catching up to the frontier models from US labs.”