Phase transitions and AGI — LessWrong