Iterated Distillation-Amplification, Gato, and Proto-AGI [Re-Explained] — LessWrong