About Me
Scientist by training, coder by previous session,philosopher by inclination, musician against public demand.
Why I am not a Doomer
I’m specifically addressing the argument for a high probability of near extinction (doom) from AI...
Eliezer Yudkowsky: “Many researchers steeped in these issues, including myself, expect that the most likely result of building a superhumanly smart AI, under anything remotely like the current circumstances, is that literally everyone on Earth will die. ”
....not whether it is barely possible, or whether other, less bad outcomes (dystopias) are probable. I’m coming from the centre, not the other extreme
Doom, complete or almost complete extinction of humanity, requires a less than superintelligent AI to become superintelligent either very fast , or very surreptitiously … even though it is starting from a point where it does not have the resources to do either.
The “very fast” version is foom doom...Foom is rapid recursive self improvement (FOOM is supposed to represent a nuclear explosion)
The classic Foom Doom argument (https://www.greaterwrong.com/posts/kgb58RL88YChkkBNf/the-problem) involves an agentive AI that quickly becomes powerful through recursive self improvement, and has a value/goal system that is unfriendly and incorrigible.
The complete argument for Foom Doom is that:-
-
The AI will have goals/values in the first place (it wont be a passive tool like GPT*),.
-
The values will be misaligned, however subtly, to be unfavorable to humanity.
-
That the misalignment cannot be detected or corrected.
-
That the AI can achieve value stability under self modification.
-
That the AI will self modify in way too fast to stop.
-
That most misaligned values in the resulting ASI are highly dangerous (even goals that aren’t directly inimical to humans can be a problem for humans, because the AS I might want to director sources away from humans.
-
And that the AI will have extensive opportunities to wreak havoc: biological warfare (custom DNA can be ordered by email), crashing economic systems (trading can be done online), taking over weapon systems, weaponing other technology and so on.
It’s a conjunction of six or seven claims, not just one. ( I say “complete argument ” because pro doomers almost always leave out some stages. I am not convinced that rapid self improvement and incorrigibility are both needed, both needed, but I am sure that one or the other is. Doomers need to reject the idea that misalignment can be fixed gradually, as you go along. . A very fast-growing ASI, foom, is way of doing that; and assumption that AI’s will resist having their goals changed is another).
Obviously the problem is that to claim a high overall probability of doom, each claim in the chain needs to have a high probability. It is not enough for some of the stages to be highly probable, all must be.
There are some specific weak points.
Goal stability under self improvement is not a given: it is not possessed by all mental architectures, and may not be possessed by any, since noone knows how to engineer it, and humans appear not to have it.
The Orthogonality Thesis (https://www.lesswrong.com/w/orthogonality-thesis)is sometimes mistakenly called on to support to support goal stability. It implies that a lot of combinations of goals and intelligence levels are possible, but doesn’t imply that all possible minds have goals, or that all goal driven agents have fixed, incorrigible goals. There are goalless and corrigible agents in mindspace, too. That’s not just an abstract possibility. At the time of writing, 2025, our most advanced AI’s, the Large Language Models, are non agentive and corrigible.
It is plausible that an agent would desire to preserve its goals, but the desire to preserve goals does not imply the ability to preserve goals. Therefore, no goal stable system of any complexity exists on this planet, and goal instability cannot be assumed as a default or given. So the orthogonality thesis is true of momentary combinations of goal and intelligence, given the provisos above, but not necessarily true of stable combinations.
Another thing that doesn’t prove incorrigibility or goal stability is von Neumann rationality. Frequently appealed to in MIRI ’s early writings , it is an idealised framework for thinking about rationality , that doesn’t app!y to humans, and therefore doesn’t have to apply to any given mind.
There are arguments that AI’s will become agentive because that”s what humans want. Gwerns Branwen’s confusingly titled “Why Tool AIs Want to Be Agent AIs” ( https://gwern.net/tool-ai) is an example. This is true, but in more than one sense:-
The basic idea is that humans want agentive AI’s because they are more powerful. And people want power, but not at the expense of control. Power that you can’t control is no good to you. Taking the brakes off a car makes it more powerful, but more likely to kill you. No army wants a weapon that will kill their own soldiers, no financial organisation wants a trading system that makes money for someone else, or gives it away to charity, or causes stick market crashes. The maximum amount of power and the minimum of control is an explosion.
One needs to look askance at what “agent” means as well. Among other things, it means an entity that acts on behalf of a human—as in principal/agent.(https://en.m.wikipedia.org/wiki/Principal–agent_problem) An agent is no good to its principal unless it has a good enough idea of its principal’s goals. So while people will want agents, they wont want misaligned ones—misalgined with themselves, that is. Like the Orthogonality Thesis, the argument is not entirely bad news.
Of course, evil governments and corporations controlling obedient superintelligences isn’t a particularly optimistic scenario, but it’s dystopia, not doom.
Yudkowsky’s much repeated argument that safe , well-aligned behaviour is a small target to hit … could actually be two arguments.
One would be the random potshot version of the Orthogonality Thesis, where there is an even chance of hitting any mind, and therefore a high chance ideas of hitting an eldritch, alien mind. But equiprobability is only one way of turning possibilities into probabilities, and not particularly realistic. Random potshots aren’t analogous to the probability density for action of building a certain type of AI, without knowing much about what it would be.
While, many of the minds in mindpsace are indeed weird and unfriendly to humans, that does not make it likely that the AIs we will construct will be. we are deliberately seeking to build certainties of mind for one thing, and have certain limitations, for another. Current LLM ’s are trained in vast copora of human generated content, and inevitably pick up a version of human values from them.
Another interpretation of the Small Target Argument is, again , based on incorrigibility. Corrigibility means you can tweak an AI’s goals gradually, as you go on, so there s no need to get them exactly right on the first try.
>The interpretation of quantum mechanics is a philosophical puzzle that was baffling physicists and philosophers for about a century. In my view, this confusion is a symptom of us lacking a rigorous theory of epistemology and metaphysics
They are symptoms of each other. Epistemology depends on ontology, ontology depends on the right interpretation of physics...which depends on epistemology.
>What is so confusing about quantum mechanics?
Recovering the appearance of a classical reality from a profoundly unclassical substructure.
>and CI will prescribe contradictory beliefs to different agents (as in the Wigner’s friend thought experiment).
It’s important to notice that Wigners Friend only implies an inconsistency about when collapse occurred: there is no inconsistency between what Wigner and the Friend actually measure. So CI is still consistent as an instrumentalist theory. Indeed, you can cast it as an instrumentalist theory, by refusing to speak about collapse as a real process, and only requiring that observers make sharp real-valued observations for some unknown reason—substituting an irrealist notion of measurement for collapse.
>In CI, the wavefunction is merely a book-keeping device with no deep meaning of its own. In contrast
If you are going to be realist about collapse, you need to be realist about WF’s—otherwise what is collapsing? Realism about both is consistent, irrealism about both is consistent.
>However, the MWI has no mathematical rule for computing probabilities of observation sequences. If all “worlds” exist at the same time, there’s no obvious reason to expect to see one of them rather than another. MWI proponents address this by handwaving into existence some “degree of reality” that some worlds posses more than others. However, the fundamental fact remains that there is no well-defined prescription for probabilities of observation sequences, unless we copy the prescription of CI: however the latter is inconsistent with the intent of MWI in cases when decoherence fails, such as Wigner’s friend.
“The” MWI is more than one thing. If you are talking about coherent superposition, then there is no need to invent a probabilistic weighting , since standard quantum mechemical measure (WF amplitude) gives you that via the Born rule. But we can tell.we are not in a macroscopic coherent superposition, because it would look weird. If you are talking about decoherent branching, it’s not clear how or whether branches are weighted. That might matter for the purposes of physics, since the experimenter is only operating in one branch, and any other can have no effect. But for some other purposes , such as large world ethics, or anthropics, it might be nice to have weights for branches.
>and fundamentally this information is all there is
If you want to do decision theory, and not just probability theory , you need ontology, not just epistemology. But why would the process stop there? Is decision theory the most ambitious goal you can have?
Most of the current debate about metaphysics centres on consciousness. Physicalism, of a substantial kind, materialism, seems unable to explain phenomenal consciousness—why should an insubstantial, information-only ontology fare any better? Rather than having anything extra to offer, it is more minimal. The same information can appear in different forms .. drinking the wine is not reading the label .. which is a strong hint that information is not there is.