If he can ban Chinese TikTok for alleged national security reasons, I'm sure he can also similarly ban Chinese AI.

That said, it's harder to ban a terabyte of floating point numbers under a MIT license.