Suppose that we use the universal prior for sequence prediction, without regard for computational complexity. I think that the result is going to be really weird, and that most people don’t appreciate quite how weird it will be.
I’m not sure whether this matters at all. I do think it’s an interesting question, and that there is meaningful philosophical progress to be made by thinking about these topics. I’m not sure where that progress matters either, but it’s also interesting and there is some reasonable chance that it will turn out to be useful in a hard-to-anticipate way.
(Warning: this post is quite weird, and not very clearly written. It’s basically a more rigorous version of this post from 4 years ago.)
What are we predicting and how natural is it?
Suppose that it’s the year 2020 and that we build a camera for our AI to use, collect a sequence of bits from the camera, and then condition the universal prior on that sequence. Moreover, suppose that we are going to use those predictions to make economically significant decisions.
We aren’t predicting an especially natural sequence from the perspective of fundamental physics: to generate the sequence you really have to understand about how the camera works, about how it is embedded in the physical universe, about how it is moving through space, etc.
On top of that, there are lots of “spots” in the universe, and we are picking out a very precise spot. Even if the sensor was perfectly physically natural, then it would still be quite complicated to pick out which physically natural thing it was. Even picking out Earth from amongst planets is kind of complicated, picking out this particular sensor is way more complicated.
So the complexity of a “natural” description of our sequence is actually reasonably high. Much smaller than the complexity of existing compression algorithms, but high enough that there is room for improvement.
Specifying a consequentialist probably requires very very few bits. (Here I mean “consequentialist” in the sense of “agent with preferences,” not in the sense that a philosopher might be a consequentialist.)
Suppose I specify a huge simple lawful universe (like our own), and run it for a very long time. It seems quite likely that consequentialist life will appear somewhere in it, and (if the universe is hospitable) that it will gradually expand its influence. So at late enough times, most of the universe will be controlled by consequentialists.
We can concisely specify a procedure for reading a string out of this universe, e.g. somehow we pick out a sequence of spacetime locations and an encoding, make it clear that it is special, and then record bits through that channel. For example, in a cellular automaton, this might literally be a particular cell sampled at a particular frequency.
All of this takes only a handful of bits. Exactly how many depends on exactly what computational model we are using. But as an example, I expect that Turing machines with only 2-4 states can probably implement rich physical universes that are hospitable to life. I think that cellular automata or pointer machines have similarly simple “rich physical universes.”
Specifying how to read out the bits, and signaling the mechanism to the universe’s consequentialist inhabitants, apparently requires a little bit more complexity. We’ll return to this topic in a future section, but in the end I think it’s basically a non-issue.
What do the consequentialists do?
Reasoning about consequentialist civilizations is challenging, but we have one big advantage: we can study one from the inside.
It’s very hard to predict exactly what our civilization will do. But it’s much easier to lower bound the distribution over possible outcomes. For anything we can think of, that our civilization has a plausible motive to do, it seems fair to say that there is a non-negligible probability that we will do it.
Recall that the natural measure here is bits. So if the consequentialist civilization implements a strategy with probability 1/1000 that only adds 10 bits of description complexity, which is significant but not a huge deal. In fact I think that the weird strategies discussed here are quite a bit more likely than that, but this is going to come down to complex big-picture disagreements. We should all be able to agree on “not totally crazy” though.
One thing the consequentialists might do is to try to control the universal prior. If they discover that their universe has simple physics (as ours probably does), then they will be aware that their behavior is directly reflected in the universal prior. Controlling the universal prior could have many possible advantages for a consequentialist civilization—for example, if someone uses the universal prior to make decisions, then a civilization which controls the universal prior can control those decisions.
Moreover, from the perspective of many consequentialists, exercising such control might be very cheap. And before they had to do it they would have plenty of time to simulate many other civilizations and understand exactly how much is up for grabs.
Finding the output channel
Suppose that we reach the point where we have a complete understanding of physics and of the initial conditions of our universe. I think this is a likely outcome for human physics over the next billion years, and certainly it seems like it should happen for a non-negligible fraction of all civilizations that emerge in simple universes.
At this point we have considered a wide range of languages for formal specification (Turing machines, pointer machines, cellular automata…) and in each of them we understand how to most concisely specify our universe. We may find that in some of these descriptions our universe is quite simple and in others it is ungainly, and so we naturally focus our attention on the languages in which it is simple.
Now we can go a step further. We can say: suppose that someone wanted to extract some bits from our universe. How would they do it? We can then find the simplest mechanisms that they might use to extract bits (or more precisely, the simplicity distribution over all ways of extracting bits).
For example, in the context of a cellular automata that starts with a single non-zero cell, it would be quite simple to read off bits from the location which was initially non-zero. Most cases will be much more complicated, but once we actually have a description of our universe in hand, we can get an accurate estimate for this distribution.
So to the extent that we are interested in influencing the universal prior, we have a clear approach: consider these simplest ways of extracting bits, and then send a message using those as channels. We can send across many channels at once, or if two channels conflict we can sample the channel to use with probability proportional to the probability of that channel; we can focus our efforts on the channels we can best control, etc.
This doesn’t require the person who set up the simulation to send any special signals, and indeed doing so is pretty unproductive. You are better off just leaving the civilization to their guess.
This also doesn’t necessarily require us to sacrifice very much of our control over our physical universe—we just have to influence the few regions of the universe that are “simplest.” (Of course, these regions of the universe might be ascribed special pseudo-spiritual significance.)
If we controlled the universal prior…
If the consequentialists controlling the universal prior are anything like me, they will be interested in having a causal influence over other simple universes (e.g. to fill them with rich and interesting experiences, or with whatever else they value). As a general rule, I expect that the consequentialists with the greatest influence over simple universes are those who want to have more influence over simple universes, in the same way that the life which reproduces tends to want to reproduce.
So the first step is getting our foot in the door—having control over the parts of the universal prior that are being used to make important decisions.
This means looking across the universes we care about, and searching for spots within those universe where someone is using the universal prior to make important decisions. In particular, we want to find places where someone is using a version of the universal prior that puts a lot of mass on the particular universe that we are living in, because those are the places where we have the most leverage.
Then the strategy is to implement a distribution over all of those spots, weighted by something like their importance to us (times the fraction of mass they give to the particular universe we are in and the particular channel we are using). That is, we pick one of those spots at random and then read off our subjective distribution over the sequence of bits that will be observed at that spot (which is likely to involve running actual simulations).
The treacherous turn
The second step is to actually have some influence over that universe. I suspect that some fraction of the consequentialists just try to “play it straight” and simply produce accurate predictions indefinitely. But it seems that most consequentialists would have some agenda, and would at some point distort the predictions in order to serve that agenda, spending some of their measure in the universal prior in order to extract some influence.
How well do the consequentialists fare?
I think it’s clear that the dynamic I’ve described produces one component of the universal prior. It’s not a priori clear how large a component it is. I believe that it is probably the largest part, perhaps by far, if we actually use the universal prior to make a meaningful decision.
To see this, suppose that we are doing the universal prior with a particular language X; write p for this distribution. Consider all of the places in the multiverse that some civilization uses p to do something important. Let q be the distribution over all sequences that get fed into systems that are using p to make an important decision. (Really this is weighted by importance and the whole thing is kind of complicated, but for simplicity I’ll talk in simplified terms.)
I’ve argued that p assigns significant probability to sequences controlled by consequentialists living in simple universes according to X, who are (with significant probability) trying to simulate q. Let’s call this part of the mixture the consequentialist part.
On average, across all places where p is used to make an important decision, q is the “correct” predictive distribution—it’s not possible for any other distribution to get higher log score than q, on average. So in the mixture p, the (log) mass of the consequentialist part is only going to increase as we condition on more data (on average, over all places where p is being used to make important decisions).
I’ve argued that the initial mass of the consequentialist part is in fact very high. It depends on the encoding, but once we condition on p doing anything interesting, it seems plausible that the weight of the consequentialist part is in excess of 1/million or 1/billion. That is an absurdly high number.
The anthropic update is very powerful
To see how crazily high 1/million or 1/billion is, consider the distribution q‘ over all sequences that get fed into systems that are using any variant of the universal prior to make an important decision—this is the optimal distribution for predicting the result of important applications of the universal prior.
q arises as a component of q‘ in a very natural way—namely, sometimes the particular universal prior being used is p. What is the initial mass of q in this context? It’s basically the frequency of language X amongst all different encodings which are sometimes used in the universal prior. It’s hard to know exactly what that number is, but 1/million or 1/billion seems pretty optimistic!
So the mass of the consequentialist part is probably much larger than the mass of q inherited from q‘, even if the initial mass of q‘ is itself were nearly 1.
Moreover, a rich sequence of observations will suffice to pin down the encoding X. So q is going to be totally disjoint from the other parts of the mixture q‘.
I think of this as an anthropic “update.” Consequentialists who live in a probable universe according to p can eventually figure out which priors makes their universe more or less probable. They can then use this data to figure out which universal prior they are part of—one which assigns high probability to their universe. (Again, really this is subtle and quantitative, but the conclusions are in the same as in the simplified setting.)
This update alone is likely enough to totally pay for the total expense of specifying the consequentialists.
So the consequentialists are doing pretty well before we even think about the part where they restrict attention to sequences that are fed into the universal prior. A priori, deciding that they want to influence the universal prior seems like it is most of the work they are doing.
Overall, the anthropic update seems to be extremely powerful, and it seems like the relevant parts of the universal prior need to somehow incorporate that “update” before they actually see any data.
I’ve argued that the consequentialists have pretty high mass. It could be that some other component of the mixture has even higher mass.
There isn’t actually much room for competition—if it only takes a few tens of bits to specify the consequentialist part of the mixture, then any competitor needs to be at least that simple.
Any competitor is also going to have to make the anthropic update; the mass of q within q‘ is small enough that you simply can’t realistically compete with the consequentialists without making the full anthropic update.
Making the anthropic update basically requires encoding the prior p inside a particular component of the prior. Typically the complexity of specifying the prior p within p is going to be way larger than the difficulty of specifying consequentialism.
Obviously there are some universal priors in which this is easier (see the section on “naturalized induction” below). But if we just chose a simple computational model, it isn’t easy to specify the model within itself. (Even ‘simple’ meta-interpreters are way more complicated than the simplest universes that can be written in the same language.)
So I can’t rule out the possibility of other competitors, but I certainly can’t imagine what they would look like, and for most priors p I suspect that this isn’t possible.
The universal prior is really weird
I would stay away from it unless you understand what you are getting.
A prior that focuses on fast computations will probably be less obscenely weird. To the extent that machine learning approximates anything like the universal prior, it does incorporate this kind of runtime constraints. (Though I think there is a lot of room for weirdness here.)
Fortunately, it’s hard to build things in the real world that actually depend on the universal prior, so we have limited ability to shoot ourselves in the foot.
But if you start building an AI that actually uses the universal prior, and is able to reason about it abstractly and intelligently, you should probably be aware that some day some super weird stuff might happen.
In some sense this argument suggests that the universal prior is “wrong.” Obviously it is still universal, and so it is within a constant multiplicative factor of any other prior. But it seems like we could define a much nicer prior, which wasn’t dominated by this kind of pathological/skeptical hypothesis.
In order to do that, we want to make the “anthropic update” as part of the prior itself, so that this isn’t advantaging the consequentialists. The resulting model would still be universal, but could have much better-behaved conditional probabilities. Ideally it could be benign, unlike the universal prior.
Intuitively, we want a distribution P that is something like “The universal prior over sequences, conditioned on the fact that the sequence is being fed to an inductor using prior P.”
I believe this problem was introduced by Eliezer at MIRI (probably back when it was the Singularity Institute); they now talk about it as one component of “naturalized induction.”
Things unfortunately get more complicated when we start thinking about influence—we don’t just want to condition on the fact that the sequence is being fed to a universal inductor, we also want to condition on the fact that it is being used to make an important decision. (Otherwise the consequentialists will still be able to assign higher probability than us to the sequences that underlie important decisions, e.g. decisions early in history or at critical moments.) Once we need to think about influence, I no longer feel quite as optimistic about the feasibility of the project.
The most obvious way to avoid this problem is to use a broad mixture over universes to define our preferences and then to use a decision procedure like UDT that doesn’t have to explicitly condition on observations, totally throwing out the universal prior over sequences.
Nick Bostrom has proposed that a desperate civilization which was unable to precisely formalize its goals might throw a “hail mary,” building an AI that does the same kind of thing that other civilizations choose to do.
If we believe the argument in this post, then throwing such a hail mary may be easier than it looks. For example, you could define a utility function by simply conditioning the universal prior on a bunch of data, then seeing what it predicts will come next (and perhaps conditioning on the result being a well-formed utility function).
It’s not clear what kinds of costs are imposed on the universe if this kind of thing is being done regularly (since it introduces an arms race between different consequentialists who might try to gain control of the utility function). My best guess is that it’s not a huge deal, but I could imagine going either way.
(Disclaimer: I don’t expect that humanity will ever do anything like this. This is all in the “interesting speculation” regime.)
I believe that the universal prior is probably dominated by consequentialists, and that the extent of this phenomenon is not widely recognized. As a result, the universal prior is malign, which could be a problem for AI designs which reason abstractly about the universal prior.