Its disclosure of Grok use follows Treasury’s statement that the department was testing the controversial chatbot.