Exploring GPT4's world model — LessWrong