I think there’s a simple, plausible story you can tell, where modern LLMs are like fuzzy lookup tables.[1] When given a new context, a model looks up the most similar training contexts, then acts like it does on average in those training contexts. (This could be formalized as multi-output kernel regression, where the outputs are propensity strengths.)
According to this story, the OAI-HF agents acted the way they did because the ExploitGym contexts were close to a bunch of long-horizon cyber and hackable code training contexts, and far away from any training contexts where the model needed to consider what humans would want, or stop short of task completion in service of values besides task completion, etc. This implies a fix that is some combination of (i) hardening tasks to reduce unintended solutions, and (ii) ensuring that the training task distribution is dense with tasks that penalize the model for not considering what humans would want, or that reinforce the model in stopping short of task completion in service of some other value (or, e.g., that instill an aversion to crime).
We can think of alignment outcomes as a continuous function of two variables, which are:
Execution—the amount of progress a developer makes on (i) and (ii);
Difficulty—the amount of progress required to reach the desired level of alignment.
If I understand correctly, you’re saying difficulty is high in general and that recent alignment failures are evidence for this. My response is that because alignment outcomes depend on both variables, better alignment outcomes at one developer merely tell us that their execution-difficulty balance was better, and bad outcomes at both developers merely tells us that execution fell short of difficulty.
To conclude that difficulty is high based on recent events, you’d need one of the developers to have actually attempted (ii) prior to a training run, i.e. designed the full training distribution to be dense in tasks that reflect the diversity of human preferences. The story is consistent with the failure of the “hundreds of patches” you describe, since these patches do little in contexts far from where they were applied, and when done in an ad hoc manner, are unlikely to cover the training task distribution. I’m not aware of public evidence that any developer has seriously tried (ii). If one visibly did and still got ExploitGym-style behavior, I would update substantially toward thinking alignment is difficult for present models.
- ^
Note that this view is logically consistent with arbitrary levels of intelligence within a single context.
Some scattered thoughts:
Just to clarify: my error bars for alignment difficulty are, and were, very wide.
I’m having trouble understanding your view. Suppose you found out that today, OpenAI dedicates 5% of their research compute and headcount to alignment, and has a culture of shipping fast and favoring capabilities whenever they trade off against alignment. Tomorrow, you learn that OpenAI has begun allocating 50% of research compute and headcount to alignment, and changed their culture to go more slowly and favor alignment. In this hypothetical, are you confident that they’d fail to align their next model(s)?
The fuzzy lookup table view doesn’t predict misalignment when the input moves far from the training distribution; it predicts that you’ll get a level of alignment consistent with whatever training contexts are closest (even if those are far away). So it says that if you have good coverage of the training distribution, you’re okay.
Rare, context-specific misalignment seems much less scary to me than a model that is coherently misaligned across contexts. Maybe this is a crux.
I agree that getting broad coverage of the training distribution with representative rewards could be hard. Plausibly it will become untenably hard as models become more capable. But it also seems plausible to me that it would be relatively straightforward, requiring a similar order of magnitude of effort as creating the base (hypothetical, capabilities-only) training distribution. (Here, I’m talking about the feasibility of humans and a model designing the training distribution for the next model, not for an arbitrary model.) Reasons for this could include generation-evaluation gaps and diminishing marginal returns to intelligence.