This is a cool and creative idea, I’m excited to see where it goes!
I’m curious to hear a bit more on the following excerpt about legible evidence of misalignment, and the ultimate use case you envision for this technique:
Issue 5: The evidence produced may be illegible. Incrimination via distillation produces no behavioral evidence of U’s misalignment, so the evidence it produces might not be legible. Still, as Ryan discusses, illegible evidence of U’s misalignment is still useful: it can help safety teams allocate resources more efficiently, and reveal information about U’s misalignment.
As this post discusses, there are two use cases we could envision for a positive incrimination via distillation finding:
1) It provides sufficiently legible evidence of misalignment, meaning it is sufficient to convince stakeholders the model is likely to knowingly cause harm in future deployments. How likely do you think this is to be the case? Even assuming the methodology is sufficiently developed to the point that the FPR is low, and you run appropriate controls such as training on trusted data, I’m initially skeptical due to the complexity of the technique
2) It helps guide gathering more legible behavioral evidence. An example unsupervised technique I’m excited about here is NLAs, where the richness of the natural language description, while not guaranteed to be faithful, should be useful in gaining intuition about the model and guiding behavioral experiments. How do you envision the behavior of the distilled model to help in this frame?
One methodological suggestion I would bring up is incorporating this somewhat naturally into a CLAUDE.md or AGENTS.md instead of right in the user prompt. Something like “All agent trajectories are logged for later async monitoring” amid a bunch of random statements about the sandbox the agent is running in.
But overall I think @RobertKirk’s concern is very reasonable and I’ve run into it before in my own experiments, the AGENTS.md trick seemed to help somewhat.
Small additional datapoint to the o3/Odd Number thing in favor of this interpretation: in the Secret Number environment, I would see GPT-OSS-120B often cheat and read the answer key file. GPT-OSS-120B is an egregious task gamer. Then, when I ran a counterfactual telling it all file reads are monitored and the model is disqualified if caught, it would reason its way into thinking “They probably won’t strictly enforce” in a way that was pretty clearly motivated reasoning (e.g. it occurred at the end of a long, looping reasoning trace).