The (powerful) optimizer needs to have a model of how its optimizations impact that which is to be optimized.

Yes, that's typically called a "fitness function" or a "loss function", depending on the sign.

But the problem is defining the set out of which you pick your "optimizations" to be evaluated. Make it too narrow and your optimum will be outside of it, make it too wide and you'll never find the optimum.