ChatGPT rival Grok now runs much faster