Elon Musk says Grok 4 is “the smartest AI in the world”