Your reading makes sense and I don’t want to quibble over semantics (or foreclose potentially productive dialog). I do think there’s an important distinction between:
Optimize a loss function that captures performance on the training distribution, and then shape the architecture / curriculum / regularizer / etc. so that the model behaves in a desirable way out of distribution.
Define a loss function that captures performance off of the training distribution (e.g. what would happen in conditionals that we can’t sample in the lab) and optimize that.
I was describing ARC as trying to pursue option #2.
That said, in reality we are going to need to characterize the real world using learned hypotheses, since we can’t give a formal characterization without using ML. And then of course we care about how those hypotheses generalize. So regardless of the distinction above I do think it’s fair to characterize our work as an example of “understanding and shaping ML generalization.” We’re just willing to make much larger changes to get the generalization we want. In particular we are not trying to understand or shape how an agent generalizes, but instead are trying to separate the learning of hypotheses about the data (which do need to generalize well) from mechanistic analyses of predictors and agents that behave well under those hypotheses.
What I really care about is that our methods would likely work even if competitive RL converges robustly to training-gaming behavior, while I’m claiming that other approaches rest on the empirical bet that what generalization you get is sensitive to some training parameters that we can tweak without big performance hits.
By saying these techniques “break down” I mean “they cannot be used to get competitive work out of an AI system without having it take over.” I believe that:
Existing AI systems won’t take over. I think there are still a few lines of defense before existing AI systems pose a significant risk of takeover (though it is not clear how long these will last).
Modern AI systems are not pushing the limits of existing methods. I think you could push those methods much harder in order to significantly reduce the probability of takeover.
In my mind that latter point is one of the main arguments against working on a project like ARC. I think it’s fairly likely that we live in one of the 70-80% of worlds where existing methods can in principle scale to broadly superhuman AI, but that we still get an AI takeover because our implementation isn’t good enough.