Eli Tyre comments on Two senses of “optimizer”

[Eli Tyre]

The implicit assumption seems to be that an optimizer_1 could turn into an optimizer_2 unexpectedly if it becomes sufficiently powerful.

I think the assumption is that a sufficiently capable optimizer_1 would need to be an optimizer_2.