I don't think we can assume that if the government saved $50 billion dollars using Linux instead of buying Windows that we would see that money going towards ai

I don't think we can assume that if the government saved $50 billion dollars using Linux instead of buying Windows that we would see that money going towards aid. In reality, that money would be going into the pocket of some other business owner for some other reason. I doubt anyone in charge of a large public budget says "Hey we saved a lot of money with that decision, that's take that saved money and give it away".