It sounds like Musk is hellbent on Grok becoming dominant in the AI coding world.