Grok, o3 and ELMo – there's a reason AI names are so weird