xAI announces Grok, beats GPT-3.5 — LessWrong