This is a special post for quick takes by StefanHex. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
I believe that mechanistic interpretability should attempt to find the "true features" (in the sense of computational units, abstractions the model uses, see here for discussion).
I think a promising area is observing the response of a model to activation perturbations into various directions. Why? Because this is close to data-free (we want to know what features the model learned, not which ones are in the data) and just asks does the model priviledge this direction?
I'll write more about this soon, but for now I want to shout out my mentee Francisco's work which I consider a proof of concept of this idea: LLMs do somewhat priviledge known feature-ish directions (steering directions, SAE decoder directions) and don't priviledge baselines (PCA, random directions). We measure this with a L_p norm fit (p=2 means non-priviledged) and find a significant p=2.3. However we suspect (based on toy models) a even-higher p for "true features". Our metric isn't perfect, notably it's not Goodhart-proof: if we brute-force optimize for p we find pathological directions.
I'm very excited about work in this area: Can we find some properties of models (like perturbation sensitivity) that tell us about its representations?
I view my activation perturbation agenda as attempting a shortcut: It may be easier to "just" list the active features than to actually understand the circuits. And listing the currently-active true features (where we have theory-based confidence that it's the right abstraction, and that our list is complete) seems close enough to mind-reading that it could give us substantial confidence in alignment.
That being said I'm a fan circuit-sparse transformers! Even in the near term I think there's many benefits to creating a fully-interpretable working language-model (e.g. proof of concept for understandable language modelling, interp ground truths via bridge models).
Thanks for the comments Daniel, I appreciate the pushback!
[...]
I agree with ajskateboarder that the arguments mostly cut against dataset-based methods rather than activation space per se.
2StefanHex
My understanding is that the Learning Theory folks at Timaeus/Resolution and elsewhere are working on this. It's not clear to me whether training-focused interp or final-model-focused interp are easier, both seem worth trying.