And a final note: none of that seems to matter for my main complaint, which is that the argument in the post seems to rely on factoring “mesaoptimizer” as “stuff + another mesaoptimizer”?
If so, I can’t really update on the results of the argument.
I don’t think it relies on this, but I’m not sure where we’re not seeing eye to eye.
You don’t literally need to be able to factorize out the mesaoptimizer—but insofar as there is some minimum space needed to implement any sort of mesaoptimizer (with heuristics or otherwise), this argument applies to whichever size mesaoptimizer’s tendency to optimize a valid proxy vs. deceptively optimize a proxy to secretly achieve something completely different.
And a final note: none of that seems to matter for my main complaint, which is that the argument in the post seems to rely on factoring “mesaoptimizer” as “stuff + another mesaoptimizer”?
If so, I can’t really update on the results of the argument.
I don’t think it relies on this, but I’m not sure where we’re not seeing eye to eye.
You don’t literally need to be able to factorize out the mesaoptimizer—but insofar as there is some minimum space needed to implement any sort of mesaoptimizer (with heuristics or otherwise), this argument applies to whichever size mesaoptimizer’s tendency to optimize a valid proxy vs. deceptively optimize a proxy to secretly achieve something completely different.