How the fuck would this even be enforced? "AI model" is a pretty broad thing; in some sense basically anything involving weights could be considered "AI", and even more abstractly you could argue that even a runtime conditional is AI.

Honestly, if we are discussing the „how“ I feel that we are already ceding too much ground. Whatever technical solutions exist it is a terrible precedent