AGI Safety Fundamentals 2023 Notes — LessWrong