Yes, DOGE heavily uses Grok AI, according to Reuters[0].

[0]https://www.reuters.com/technology/artificial-intelligence/m...

You have to make a distinction between Grok the twitter bot run by X, and Grok the AI model built by xAI. The twitter bot is not to my knowledge deployed in the government.