The melee followed a July 4 update to Grok’s default prompts, which Musk characterized at the time as having “improved Grok significantly,” tweeting that “You should notice a difference when you ask ...