Musk's AI company that reached an agreement with the General Services Administration to provide federal agencies with Grok.