Oh, my mistake. I should have said my definition of “optimizer” was “something such that there is a method of describing a change to it to concretely describe a system that scores unusually highly on another function, for a wide range of functions, in a way that’s significantly shorter description length than specifying a system that achieves that score from scratch.”
Oh, my mistake. I should have said my definition of “optimizer” was “something such that there is a method of describing a change to it to concretely describe a system that scores unusually highly on another function, for a wide range of functions, in a way that’s significantly shorter description length than specifying a system that achieves that score from scratch.”
I’ve edited the post.