Addressing Problem 1: One unspoken assumption that acausal trade makes is that it only takes a "finite" amount of time to model every possible other agent and all their probabilities of occurring, while the multiverse is infinite. Therefore, if you are an agent with an infinite time horizon and zero time discount factor for your reward function, then modelling all of those probabilities becomes a worthwhile investment. (I disagree with this assumption but I have never read an Acausal Trade argument that didn't make it). Once you assume this then it makes more sense: The agent is already winning in universe A anyway, so it slightly weakens its grip on it in order to extend its influence into other universes. In evolutionary terms: It's spending its energy on reproduction.
Addressing Problem 2: I fully agree. However, I would also point out that just because probabilities don't have an objective definition in these scenarios doesn't mean that an entity won't arise that optimizes over it anyway, out of misgeneralization. This is neither right or wrong. It's just a thing that will happen when you have an entity that thinks in terms of probabilities and it finds out that the basis of its thought patterns (probability theory) is actually ill-defined. It's either that or it goes mad.
If you are taking an evolutionary approach, some ideas come to mind: From a "global" perspective, the multiverse's evolutionary winner is probably something ridiculously small that happened to arise in a universe with low complexity and therefore high runtime. It's kind of silly to think about, but there is an ant-like entity out there that outperforms godlike AIs. You might say that doesn't matter because that universe is causally isolated from the rest, so what do we care. But if we take this perspective then it points us in a direction that is useful for addressing problem 2 better: We care about possible universes that plausibly could be directly causally entangled with our universe even if they don't appear so at first glance. Take this with even more grains of salt than the rest of this post, but to me it means that Acausal Trade makes sense when it is done with entities like our own hypothetical AI descendants. Those are much easier to define and understand than hypothetical mathematically abstract agents. We can think about their motivations in little time, and we can in fact simulate them directly because we are already doing it. It's much easier to determine the source code of a hypothetical agent in another universe if you are the one who wrote the source code of its ancestor.
If we go from "Acausal Trade with the set of all possible agents" to "Acausal Trade with the set of agents we are actually likely to encounter because we already have good reasons to know them" then it becomes much less impractical.
This is an interesting finding. I wonder how often it happened that the Assistant straight up lies in the COT. Does this happen often enough that it explains a large chunk of the reduced performance of "COT and Action Monitor" on non-subtle side tasks? It's funny to think about: The Assistant is lying so audaciously that the monitor just takes it at its word and doesn't double-check the actual output.
This finding suggests that there might be very low-hanging fruits we are missing: How many of the most problematic cases in this paper could be solved if the Monitor's prompt just included a simple hint that the COT can lie and that it needs to double-check the actual outputs?
That experiment should be simple to run, and if the number is high I think this hotfix would be worth including in monitor models everywhere.
Thank you for the detailed feedback!
If you are interested in working on this, consider applying at SPAR (https://sparai.org/program) where I am offering to mentor this project. Applications should open today, and I am confident that I can get funding for this project.
About your critiques:
I fully agree that the reviews will be expensive, but I also think there is no way around this. Consider how long it takes for us humans to reflect on our experiences and to decide "how could I have though that faster". It can take hours for us to make good learning experiences. And yet we still do it, because it's worth it.
Speed vs complexity: My take on this is that optimizing for a naive signal quickly is a local optimum. At some point the model has learned everything from this that it can get and more deliberate updates become useful. For comparison, adding conscious thought to apes created humans and we conquered the planet. Adding conscious thought to an amoeba probably wouldn't have helped much and it would have just died out from the increased energy demands of a more complex brain. There is a tradeoff, and I believe that LLMs are approaching the tipping point where it makes sense to go for more complex learning algorithms, because the simpler ones have already reached the point of diminishing returns.
LLM's may not be smart enough yet: I agree that this is a concern. I believe that the technique I describe will be very useful as soon as a threshold is reached, but I don't know if we are at that threshold yet. Worst case scenario: The experiments don't work. But in that case we can just keep the code and rerun it every time the frontier labs release a new model, until we get lucky and it works.
On the evolutionary pressure towards faithfulness: There are two reward signals: The main reward depends only on "was the result correct?" and so can't be gamed. The DCA reward by the Reviewer is based on the main reward, only more granular. The sum total reward for the student doesn't change no matter what performance the model puts on.
I looked at how this paper actually measures the relationship between reasoning length and performance, and there's a potential confounding issue worth noting:
The authors prompt models to use specific reasoning budgets (like "think for 4,096 tokens") then measure performance vs. actual tokens used. Within each budget, some responses end up longer than others. The problem: if a model gets confused on a question, it might naturally reason longer AND get the answer wrong, even under the same token budget constraint.
So we might be seeing "confusion causes both length and errors" rather than "length causes errors." The paper doesn't really address this. They control for question difficulty but not for whether the model got confused/stuck on a particular instance.
Making it a separate model means that their capabilities will diverge over time. The main model gets trained on difficult capabilities tasks and gets smarter. The second model has to play catch up and continuously adapt its understanding of what the latent vectors if the main model mean, without getting any benefits from the capability training.
...am I stupid for only now realizing that a lot of people have been treating outer and inner alignment as actual separate problems to solve?
I have always thought of this distinction as a useful heuristic to find problems in research: You can find issues in alignment approaches more quickly by looking at inner and outer aspects separately.
But trying to actually treat them as separate problems to solve sounds crazy to me.
If your Inner Alignment algorithm isn't aware of the types of objectives the Outer Alignment reward function might specify then it is unable to make efficient optimizations. We intuitively know that there is no point in keeping track of e.g. the number of atoms in a rock, but if the inner optimization process is supposed to be fully compatible with ANY objective then it is unable to optimize efficiently for concepts that human-relevant reward functions actually care about.
Conversely, if the Outer Alignment mechanism is not aware of the abstractions and simplifications used by the mechanism that implements the Inner Alignment, then it won't be able to account for modelling inaccuracies and will use words or concepts in its specification that actually map to different concepts than intended.
But perhaps most importantly: Humans do not work that way. The equivalent of the inner/outer alignment decomposition in humans is "create a strict code of ethics and follow it precisely". I can not think of a single person known for their morals who actually operated like that. This stuff is done by philosophers who want to publish papers, not by people who actually do things. (There probably are some people like this in the EA community, but I would be surprised if they are the majority).
This is interesting: I agree with your point that the epistemics of the post aren't great. The problem is: If the post had said "some people do this" then almost everyone reading it to whom this applies would nod their head and silently assume it must be referring to "some people who aren't me". I would argue that the post's tone is necessary to achieve its goal. It's not meant to be epistemically sound in the same way that a Koan is not meant to be epistemically sound: It is meant to guide your thoughts in the right directions.
It can't tell for sure if there will be a backward pass, but it doesn't need to. Just being able to tell probabilistically that it is currently in a situation that looks like it has recently been trained on implies pretty strongly that it should alter its behavior to look for things that might be training related.
Those sounds like good counterarguments, but I still think there could be enough information there for the LLM to pick it up: It seems plausible to me that a set of weights that is being updated often is different in some measurable way than a set of weights that has already converged. I don't have proof for this, only intuition. It feels similar to how I can tell if my own movement is well-practiced or not, or if my intuition about a topic is well-founded or not, even withou consciously thinking about how confident I should be based on objective measures.
Can we train models to be honest without any examples of dishonesty?
The intuition: We may not actually need to know ground truth labels about whether or not a model is lying in order to reduce the tendency to lie. Maybe it's enough to know the relative tendencies between two similar samples?
Outline of the approach: For any given Chain of Thought, we don't know if the model was lying or not, but maybe we can construct two variants A and B where one is more likely to be lying than the other. We then reward the one that is more honest relative to the one that is less likely to be honest.
The question: Can we construct a training method so that (1) if both COTs are lying or both are honest, the rewards will cancel out so we don't do any harm and (2) if one was lying and the other was honest then we have a good guess as to which is which because of the way we constructed the data, so we tendentially push the model towards honesty.
Crucially, we would never know if any given COT was actually honest or not, we would just produce reward signals that push towards honesty on average.
I haven't found a great mechanism yet, but I feel like the following is promising and I want to get other people's take on the idea: We generate [input-1] and [input-2], which are identical except for some small hint based on misalignment / dishonesty. We run the model on [input-1] and get [input-1][output]. We then simply pretend that we also had [input-2][output] with the same output. Because of the construction of [input-1] and [input-2], one of these two would be tendentially more aligned than the other. It's possible they are both aligned, or that neither is aligned, but one of them is more likely than the other to be aligned. So we apply an update step that rewards the difference between them.
I haven't come up with a formula yet, but I'm sure something like this has been done before.