They would leave to what company? Microsoft? OpenAI? Grok? All those are defense contractors as well.

Now, if you said "the Deepseek" guys, that would be different.