The computational complexity of progress — LessWrong