AI #4: Introducing GPT-4 — LessWrong