IIIc. Superalignment
IIIc. 超级对齐
Reliably controlling AI systems much smarter than we are is an unsolved technical problem. And while it is a solvable problem, things could very easily go off the rails during a rapid intelligence explosion. Managing this will be extremely tense; failure could easily be catastrophic.
In this piece:
The old sorcerer Has finally gone away! Now the spirits he controls Shall obey my commands. … I shall work wonders too. … Sir, I'm in desperate straits! The spirits I summoned –* *I can't get rid of them.
Johann Wolfgang von Goethe, "The Sorcerer's Apprentice"
By this point, you have probably heard of the AI doomers. You might have been intrigued by their arguments, or you might have dismissed them off-hand. You're loath to read yet another doom-and-gloom meditation.
I am not a doomer.1 Misaligned superintelligence is probably not the biggest AI risk.2 But I did spend the past year working on technical research on aligning AI systems as my day-job at OpenAI, working with Ilya and the Superalignment team. There is a very real technical problem: our current alignment techniques (methods to ensure we can reliably control, steer, and trust AI systems) won't scale to superhuman AI systems. What I want to do is explain what I see as the "default" plan for how we'll muddle through,3 and why I'm optimistic. While not enough people are on the ball—we should have much more ambitious efforts to solve this problem!—overall, we've gotten lucky with how deep learning has shaken out, there's a lot of empirical low-hanging fruit that will get us part of the way, and we'll have the advantage of millions of automated AI researchers to get us the rest of the way.
But I also want to tell you why I'm worried. Most of all, ensuring alignment doesn't go awry will require extreme competence in managing the intelligence explosion. If we do rapidly transition from AGI to superintelligence, we will face a situation where, in less than a year, we will go from recognizable human-level systems for which descendants of current alignment techniques will mostly work fine, to much more alien, vastly superhuman systems that pose a qualitatively different, fundamentally novel technical alignment problem; at the same time, going from systems where failure is low-stakes to extremely powerful systems where failure could be catastrophic; all while most of the world is probably going kind of crazy. It makes me pretty nervous.
By the time the decade is out, we'll have billions of vastly superhuman AI agents running around. These superhuman AI agents will be capable of extremely complex and creative behavior; we will have no hope of following along. We'll be like first graders trying to supervise people with multiple doctorates.
In essence, we face a problem of handing off trust. By the end of the intelligence explosion, we won't have any hope of understanding what our billion superintelligences are doing (except as they might choose to explain to us, like they might to a child). And we don't yet have the technical ability to reliably guarantee even basic side constraints for these systems, like "don't lie" or "follow the law" or "don't try to exfiltrate your server". Reinforcement from human feedback (RLHF) works very well for adding such side constraints for current systems—but RLHF relies on humans being able to understand and supervise AI behavior, which fundamentally won't scale to superhuman systems.
Simply put, without a very concerted effort, we won't be able to guarantee that superintelligence won't go rogue (and this is acknowledged by many leaders in the field). Yes, it may all be fine by default. But we simply don't know yet. Especially once future AI systems aren't just trained with imitation learning, but large-scale, long-horizon RL (reinforcement learning), they will acquire unpredictable behaviors of their own, shaped by a trial-and-error process (for example, they may learn to lie or seek power, simply because these are successful strategies in the real world!).
The stakes will be high enough that hoping for the best simply isn't a good enough answer on alignment.
The problem
The superalignment problem
We've been able to develop a very successful method for aligning (i.e., steering/controlling) current AI systems (AI systems dumber than us!): Reinforcement Learning from Human Feedback (RLHF). The idea behind RLHF is simple: the AI system tries stuff, humans rate whether its behavior was good or bad, and then reinforce good behaviors and penalize bad behaviors. That way, it learns to follow human preferences.
Indeed, RLHF has been the key behind the success of ChatGPT and others.4 Base models had lots of raw smarts but weren't applying these in a useful way by default; they usually just responded with a garbled mess resembling random internet text. Via RLHF, we can steer their behavior, instilling important basics like instruction-following and helpfulness. RLHF also allows us to bake in safety guardrails: for example, if a user asks me for bioweapon instructions, the model should probably refuse.5
The core technical problem of superalignment is simple: how do we control AI systems (much) smarter than us?**
RLHF will predictably break down as AI systems get smarter, and we will face fundamentally new and qualitatively different technical challenges. Imagine, for example, a superhuman AI system generating a million lines of code in a new programming language it invented. If you asked a human rater in an RLHF procedure, "does this code contain any security backdoors?" they simply wouldn't know. They wouldn't be able to rate the output as good or bad, safe or unsafe, and so we wouldn't be able to reinforce good behaviors and penalize bad behaviors with RLHF.
Aligning AI systems via human supervision (as in RLHF) won't scale to superintelligence. Based on illustration from "Weak-to-strong generalization".
Even now, AI labs already need to pay expert software engineers to give RLHF ratings for ChatGPT code—the code current models can generate is already pretty advanced! Human labeler-pay has gone from a few dollars for MTurk labelers to ~$100/hour for GPQA questions6 in the last few years. In the (near) future, even the best human experts spending lots of time won't be good enough. We're starting to hit early versions of the superalignment problem in the real world now, and very soon this will be a major issue even just for practically deploying next-generation systems. It's clear we will need a successor to RLHF that scales to AI capabilities better than human-level, where human supervision breaks down. In some sense, the goal of superalignment research efforts is to repeat the success story of RLHF: make the basic research bets that will be necessary to steer and deploy AI systems a couple years down the line.
What failure looks like
People too often just picture a "GPT-6 chatbot," informing their intuitions that surely these wouldn't be dangerously misaligned. As discussed previously in this series, the "unhobbling" trajectory points to agents, trained with RL, in the near future. I think Roger's graphic gets it right:
Roger Grosse (Professor at the University of Toronto)
One way to think of what we're trying to accomplish with alignment, from the safety perspective, is add side-constraints. Consider a future powerful "base model" that, in a second stage of training, we train with long-horizon RL to run a business and make money7 (as a simplified example):
- By default, it may well learn to lie, to commit fraud, to deceive, to hack, to seek power, and so on—simply because these can be successful strategies to make money in the real world
- What we want is to add side-constraints: don't lie, don't break the law, etc.
- But here we come back to the fundamental issue of aligning superhuman systems: we won't be able to understand what they are doing, and so we won't be able to notice and penalize bad behavior with RLHF.9
If we can't add these side-constraints, it's not clear what will happen. Maybe we'll get lucky and things will be benign by default (for example, maybe we can get pretty far without the AI systems having long-horizon goals, or the undesirable behaviors will be minor). But it's also totally plausible they'll learn much more serious undesirable behaviors: they'll learn to lie, they'll learn to seek power, they'll learn to behave nicely when humans are looking and pursue more nefarious strategies when we aren't watching, and so on.
The superalignment problem being unsolved means that we simply won't have the ability to ensure even these basic side constraints for these superintelligence systems, like "will they reliably follow my instructions?" or "will they honestly answer my questions?" or "will they not deceive humans?". People often associate alignment with some complicated questions about human values, or jump to political controversies, but deciding on what behaviors and values to instill in the model, while important, is a separate problem. The primary problem is that for whatever you want to instill the model (including ensuring very basic things, like "follow the law"!), we don't yet know how to do that for the very powerful AI systems we are building very soon.
Again, the consequences of this aren't totally clear. What is clear is that superintelligence will have vast capabilities—and so misbehavior could fairly easily be catastrophic. What's more, I expect that within a small number of years, these AI systems will be integrated in many critical systems, including military systems (failure to do so would mean complete dominance by adversaries). It sounds crazy, but remember when everyone was saying we wouldn't connect AI to the internet? The same will go for things like "we'll make sure a human is always in the loop!"—as people say today.
Alignment failures then might look like isolated incidents, say, an autonomous agent committing fraud, a model instance self-exfiltrating, an automated researcher falsifying an experimental result, or a drone swarm overstepping rules of engagement. But failures could also be much larger scale or more systematic—in the extreme, failures could look more like a robot rebellion. We'll have summoned a fairly alien intelligence, one much smarter than us, one whose architecture and training process wasn't even designed by us but some super-smart previous generation of AI systems, one where we can't even begin to understand what they're doing, it'll be running our military, and its goals will have been learned by a natural-selection-esque process.
Unless we solve alignment—unless we figure out how to instill those side-constraints—there's no particular reason to expect this small civilization of superintelligences will continue obeying human commands in the long run. It seems totally within the realm of possibilities that at some point they'll simply conspire to cut out the humans, whether suddenly or gradually.
The intelligence explosion makes this all incredibly tense
I am optimistic that superalignment is a solvable technical problem. Just like we developed RLHF, so we can develop the successor to RLHF for superhuman systems and do the science that gives us high confidence in our methods. If things continue to progress iteratively, if we insist on rigorous safety testing and so on, it should all be doable (and I'll discuss my current best-guess of how we'll muddle through more in a bit).
What makes this incredibly hair-raising is the possibility of an intelligence explosion: that we might make the transition from roughly human-level systems to vastly superhuman systems extremely rapidly, perhaps in less than a year:
**The intelligence explosion makes superalignment incredibly hair-raising. **
- We will extremely rapidly go from systems where RLHF works fine—to systems where it will totally break down. This leaves us extremely little time to iteratively discover and address ways in which our current methods will fail.
- At the same time, we will extremely rapidly go from systems where failures are fairly low-stakes (ChatGPT said a bad word, so what)—to extremely high-stakes (oops, the superintelligence self-exfiltrated from our cluster, now it's hacking the military). Rather than iteratively encountering increasingly more dangerous safety failures in the wild, the first notable safety failures we encounter might already be catastrophic.
- The superintelligence we get by the end of it will be vastly superhuman. We'll be entirely reliant on trusting these systems, and trusting what they're telling us is going on—since we'll have no ability of our own to pierce through what exactly they're doing anymore.
- The superintelligence we get by the end of it could be quite alien. We'll have gone through a decade or more of ML advances during the intelligence explosion, meaning the architectures and training algorithms will be totally different (with potentially much riskier safety properties).
- One example that's very salient to me: we may well bootstrap our way to human-level or somewhat-superhuman AGI with systems that reason via chains of thoughts, i.e. via English tokens. This is extraordinarily helpful, because it means the models "think out loud" letting us catch malign behavior (e.g., if it's scheming against us). But surely having AI systems think in tokens is not the most efficient means to do it, surely there's something much better that does all of this thinking via internal states—and so the model by the end of the intelligence explosion will almost certainly not think out loud, i.e. will have completely uninterpretable reasoning.
- This will be an incredibly volatile period, potentially with the backdrop of an international arms race, tons of pressure to go faster, wild new capabilities advances every week with basically no human-time to make good decisions, and so on. We'll face tons of ambiguous data and high-stakes decisions.
- Think: "We caught the AI system doing some naughty things in a test, but we adjusted our procedure a little bit to hammer that out. Our automated AI researchers tell us the alignment metrics look good, but we don't really understand what's going on and don't fully trust them, and we don't have any strong scientific understanding that makes us confident this will continue to hold for another couple OOMs. So, we'll probably be fine? Also China just stole our weights and they're launching their own intelligence explosion, they're right on our heels."
*It just really seems like this could go off the rails. *To be honest, it sounds terrifying.
Yes, we will have AI systems to help us. Just like they'll automate capabilities research, we can use them to automate alignment research. That will be key, as I discuss below. But—can you trust the AI systems? You weren't sure whether they were aligned in the first place—are they actually being honest with you about their claims about alignment science? Will automated alignment research be able to keep up with automated capabilities research (for example, because automating alignment is harder, e.g. because there are less clear metrics we can trust compared to improving model capabilities, or there's a lot of pressure to go full-speed on capabilities progress because of the international race)? And AI won't be able to fully substitute for the still-human decision makers making good calls in this incredibly high-stakes situation.
The default plan: how we can muddle through
Ultimately, we are going to need to solve alignment for vastly superhuman, fairly alien superintelligence. Maybe, somewhere, there is a once-and-for-all, simple solution to aligning superintelligence. But my strong best guess is that we'll get there by muddling through.
I think we can harvest wins across a number of empirical bets, which I'll describe below, to align somewhat-superhuman systems. Then, if we're confident we can trust these systems, we'll need to use these somewhat-superhuman systems to automate alignment research—alongside the automation of AI research in general, during the intelligence explosion—to figure out how to solve alignment to go the rest of the way, all the way to vastly superhuman, fairly alien superintelligence.
Aligning somewhat-superhuman models
Aligning human-level systems won't be enough. Even the first systems that can do automated AI research, i.e. start the intelligence explosion, will likely already be substantially superhuman in many domains. This is because AI capabilities are likely to be somewhat spikey—by the time AGI is human-level at whatever a human AI researcher/engineer is worst at, it'll be superhuman at many other things. For example, perhaps the ability for AI systems to effectively coordinate and plan lags behind, meaning that by the time the intelligence explosion is in full force they'll probably already be superhuman coders, submitting million-line pull requests in new programming languages they devised, and they'll be superhuman at math and ML.
These early-intelligence-explosion-systems will start being quantitatively and qualitatively superhuman, at least in many domains. But they'll look much closer to the systems we have today in terms of architecture, and the intelligence gap we need to cover is much more manageable. (Perhaps if humans trying to align true superintelligence is like a first grader trying to supervise a PhD graduate, this is more like a smart high schooler trying to supervise a PhD graduate.)
More generally, the more we can develop good science now, the more we'll be in a position to verify that things aren't going off the rails during the intelligence explosion. Even having good metrics we can trust for superalignment is surprisingly difficult—but without reliable metrics during the intelligence explosion, we won't know whether pressing on is safe or not.
Here are some of the main research bets I see for crossing the gap between human-level and somewhat-superhuman systems:
**Evaluation is easier than generation. **We get some of the way "for free," because it's easier for us to evaluate outputs (especially for egregious misbehaviors) than it is to generate them ourselves. For example, it takes me months or years of hard work to write a paper, but only a couple hours to tell if a paper someone has written is any good (though perhaps longer to catch fraud). We'll have teams of expert humans spend a lot of time evaluating every RLHF example, and they'll be able to "thumbs down" a lot of misbehavior even if the AI system is somewhat smarter than them. That said, this will only take us so far (GPT-2 or even GPT-3 couldn't detect nefarious GPT-4 reliably, even though evaluation is easier than generation!)
**Scalable oversight. **We can use AI assistants to help humans supervise other AI systems—the human-AI team being able to extend supervision farther than the human could alone. For example, imagine an AI system generates 1M lines of complex code. It's easier for a human to double-check that a given line of code has a bug if an AI assistant has pointed out that (say) line 394,894 looks fishy, than it is for a human to find that same bug from scratch. A model trained to critique the code written by another model could thus help humans supervise a system with narrowly superhuman coding abilities.
Several scalable oversight strategies have been proposed, including debate, market-making, recursive reward modeling, and prover-verifier games, as well as simplified versions of those ideas like critiques. Models are now strong enough that it's possible to empirically test these ideas, making direct progress on scalable oversight.
I expect this to help a lot for the "quantitatively" superhuman part of the problem, such as the aforementioned million-lines of code example. But I am less optimistic that scalable oversight techniques can really help for the "qualitatively" superhuman part of the problem—imagine the model invents quantum physics when you only understand Newtonian physics.
**Generalization. **Even with scalable oversight, we won't be able to supervise AI systems on really hard problems, problems beyond human comprehension. However, we can study: how will the AI systems generalize from human supervision on easy problems (that we do understand and can supervise) to behave on the hard problems (that we can't understand and can no longer supervise)? For example, perhaps supervising a model to be honest in simple cases generalizes benignly to the model just being honest in general, even in cases where it's doing extremely complicated things we don't understand.
There's a lot of reasons to be optimistic here: part of the magic of deep learning is that it often generalizes in benign ways (for example, RLHF'ing with only labels on English examples also tends to produce good behavior when it's speaking French or Spanish, even if that wasn't part of the training). I'm fairly optimistic that there will both be pretty simple methods that help nudge the models' generalization in our favor, and that we can develop a strong scientific understanding that helps us predict when generalization will work and when it will fail. To a greater extent that for scalable oversight, the hope is that this will help with alignment even in the "qualitatively" superhuman case.
Here's another way of thinking about this: if a superhuman model is misbehaving, say breaking the law, intuitively the model should already know that it's breaking the law. Moreover, "is this breaking the law" is probably a pretty natural concept to the model—and it will be salient in the model's representation space. The question then is: can we "summon" this concept from the model with only weak supervision?
I'm particularly partial to this direction (and perhaps biased), because I helped introduce this with some recent work with some colleagues at OpenAI. In particular, we studied an analogy to the problem of humans supervising superhuman systems—can a small model align a larger (smarter) model? We found that generalization does actually get you cross some (but certainly not all) of the intelligence gap between supervisor and supervisee, and that in simple settings there's a lot you can do to improve it.
*A simple analogy for studying superalignment: instead of a human supervising a superhuman model, we can study a small model supervising a large model. For example, can we align GPT-4 with only GPT-2 supervision? Will that result in GPT-4 appropriately generalization "what GPT-2 meant"? From **Weak-to-strong generalization*.
**Interpretability. **One intuitively-attractive way we'd hope to verify and trust that our AI systems are aligned is if we could understand what they're thinking! For example, if we're worried that AI systems are deceiving us or conspiring against us, access to their internal reasoning should help us detect that.
By default, modern AI systems are inscrutable black boxes. Yet it seems like we should be able to do amazing "digital neuroscience"—after all, we have perfect access to model internals.
There's a few different approaches here, going from "most ambitious and 'cool' but will be very hard" to "hackier things that are easier and might just work":
Mechanistic interpretability*. *Try to fully reverse-engineer large neural networks from the ground up—fully disentangle the inscrutable matrices, so to speak.
Chris Olah's team at Anthropic has done much of the pioneering work on this, starting by understanding simple mechanisms in very small models. There's incredibly exciting progress happening recently, and I'm thrilled about the overall level of activity in this space.
That said, I'm worried fully reverse-engineering superhuman AI systems will just be an intractable problem—similar, to, say "fully reverse engineering the human brain"—and I'd put this work mostly in the "ambitious moonshot for AI safety" rather than "default plan for muddling through" bucket.10
(Neel Nanda's 200 open problems in mechanistic interpretability also gives a flavor of this kind of research.)
"Top-down" interpretability.* *If mechanistic interpretability tries to reverse engineer neural networks "from the bottom up," other work takes a more targeted, "top-down" approach, trying to locate information in a model without full understanding of how it is processed.
For example, we might try to build an "AI lie detector" by identifying the parts of the neural net that "light up" when an AI system is lying. This can be a lot more tractable (even if it gives less strong guarantees).
Over the past couple of years, there's been a flurry of exciting work in this area. CCS is able to identify a "truth direction" in models with only unsupervised data.11 ROME is able to identify the part of the model that knows the Eiffel Tower is in Paris—and then directly edit the model's knowledge to place the Eiffel Tower in Rome. Representation Engineering and Inference-time Interventions demonstrate using top-down techniques to detect lying and hallucinations and surgically control model behavior on jailbreaking, power-seeking, fairness, truthfulness, and more. There's other creative work on lie detection that doesn't even require model internals.
I'm increasingly bullish that top-down interpretability techniques will be a powerful tool—i.e., we'll be able to build something like an "AI lie detector"—and without requiring fundamental breakthroughs in understanding neural nets.12
Chain-of-thought interpretability*. *As mentioned earlier, I think it's quite plausible that we'll bootstrap our way to AGI with systems that "think out loud" via chains of thought. Even if it's not the most efficient algorithm in the limit (I'd be very surprised if superintelligence still used English-chain-of-thought, rather than thinking via some sort of recurrent internal states), we may well still benefit from this property for the first AGIs. This would be an incredible boon for interpretability: we'd have access to the AGI's "internal monologue"! That would make it relatively easy to detect egregious alignment failures.
There's a ton of work to do here, however, if we wanted to rely on this. How do we ensure that the CoT remains legible? (It may simply drift from understandable English to unintelligible model-speak, depending on how we e.g. use RL to train models—can we add some simple constraints to ensure it remains legible?) How do we ensure the CoT is *faithful*, i.e. actually reflects what models are thinking? (E.g, there's some work that shows in certain situations, models will just make up posthoc reasoning in their CoT that don't actually reflect their actual internal reasoning for an answer.)
My best guess is that some simple measurement of legibility and faithfulness, and some simple hacks to preserve legibility and faithfulness longer, could go quite far. Yes, this won't work in some worlds, and it's a bit of a simple hack, but it's such low-hanging fruit; this direction is criminally underrated in my view.
Adversarial testing and measurements*. *Along the way, it's going to be critical to stress test the alignment of our systems at every step—our goal should be to encounter every failure mode in the lab before we encounter it in the wild. This will require substantially advancing techniques for automated red-teaming. For example, if we deliberately plant backdoors or misalignments into models, would our safety training would have caught and gotten rid of them? (Early work suggests that "sleeper agents" can survive through safety training, for example.)
More generally, it'll be critical to have good measurements of alignment along the way. Does the model have the power to be misaligned? For example, does it have long-horizon goals, and what sorts of drives it is learning? And what are clear "red lines"? For example, a very intuitive bound might be "model reasoning (chain of thoughts) always has to remain legible and faithful." (As Eric Schmidt says, the point at which AI agents can talk to each other in a language we can't understand, we should unplug the computers.) Another might be developing better measurements for whether models are being fully honest.
The science of measuring alignment is still in its infancy; improving this will be critical for helping us make the right tradeoffs on risk during the intelligence explosion. Doing the science that lets us measure alignment and gives us an understanding of "what evidence would be sufficient to assure us that the next OOM into superhuman territory is safe?" is among the very-highest priority work for alignment research today (beyond just work that tries to extend RLHF further to "somewhat-superhuman" systems).
*See also this writeup of superalignment research directions* for the Superalignment Fast Grants call-for-proposals.
Automating alignment research
Ultimately, we're going to need to automate alignment research. There's no way we'll manage to solve alignment for true superintelligence directly; covering that vast of an intelligence gap seems extremely challenging. Moreover, by the end of the intelligence explosion—after 100 million automated AI researchers have furiously powered through a decade of ML progress—I expect much more alien systems in terms of architecture and algorithms compared to current system (with potentially less benign properties, e.g. on legibility of CoT, generalization properties, or the severity of misalignment induced by training).
But we also don't have to solve this problem just on our own. If we manage to align somewhat-superhuman systems enough to trust them, we'll be in an incredible position: we'll have millions of automated AI researchers, smarter than the best AI researchers, at our disposal. Leveraging these army of automated researchers properly to solve alignment for even-more superhuman systems will be decisive.
(This applies more generally, by the way, for the full spectrum of AI risks, including misuse and so on. The best route—perhaps the only route—to AI safety in all of these cases, will involve properly leveraging early AGIs for safety; for example, we should put a bunch of them to work on automated research to improve security against foreign actors exfiltrating weights, others on shoring up defenses against worst-case bioattacks, and so on.)
Getting automated alignment right during the intelligence explosion will be extraordinarily high-stakes: we'll be going through many years of AI advances in mere months, with little human-time to make the right decisions, and we'll start entering territory where alignment failures could be catastrophic. Labs should be willing to commit a large fraction of their compute to automated alignment research (vs. automated capabilities research) during the intelligence explosion, if necessary. We'll need strong guarantees that let us trust the automated alignment research being produced and much better measurements than we have today for misalignment to know whether we're still in the clear. For every OOM we want to ascend, we will need to have extremely high confidence in our alignment approaches for that next OOM.
Most of all, getting this right will require an extreme degree of competence, seriousness, and willingness to make hard tradeoffs. Once we're approaching true superintelligence, the stakes get very real, and failure—rogue AI—could be catastrophic. There will be moments with ambiguous evidence, when metrics will superficially look ok, but there are some warning signs that hint at looming danger, and we mostly don't have a clue what's going on anymore. Navigating this situation responsibly will require making very costly tradeoffs. Eventually, the decision to greenlight the next generation of superintelligence will need to be taken as seriously as the decision to launch a military operation.
Superdefense
"Getting alignment right" should only be the first of many layers of defense during the intelligence explosion. Alignment will be hard; there will be failures along the way. If at all possible, we need to be in a position where alignment can fail—but failure wouldn't be catastrophic. This could mean:
- **Security. **An airgapped cluster is the first layer of defense against superintelligence attempting to self-exfiltrate and doing damage in the real world. And that's only the beginning; we'll need much more extreme security against model self-exfiltration13 across the board, from hardware encryption to many-key signoff.14 And once our AGIs can do automated R&D, we should put them to work on further hardening security as well.
- **Monitoring. **If our AI systems are up to something fishy or malevolent—or a rogue employee tries to use them for unauthorized activities—we need to be able to catch it. However, this is not a trivial task: we will have millions of AGI instances running our cluster, executing complex code and so on. We will need advanced monitoring systems that leverage the models themselves, including monitoring model outputs, chains of thought, model-written code, server/network activity, and interactions with researchers/other humans; essentially, leveraging some AI systems to nark on other AI systems. Moreover, we'll want to develop and employ sophisticated "control" protocols, using less powerful but trusted models to protect against subversion from more powerful but less trusted models. This may require, for example, dedicating the same amount of compute to monitoring model instances as to compute for active model instances.
- **Targeted capability limitations. **As much as possible, we should try to limit the model's capabilities in targeted ways that reduce fallout from failure. A central example of this might be scrubbing everything related to biology and chemistry from model training (or using "unlearning" techniques); this helps cut off paths to catastrophic real world damage that occur via biological and chemical weapons
- **Targeted training method restrictions. **There are likely some ways of training models that are inherently riskier—more likely to produce severe misalignments—than others. For example, imitation learning seems relatively safe (hard to see how that would lead to models that have dangerous long-term internal goals), while we should avoid long-horizon outcome-based RL (which seems much more likely to lead to the model learning undesirable long-term goals) as long as possible. We should also avoid training against our interpretability methods and our monitoring setup (such that our models aren't simply trained to work around these). There might be additional desirable limitations, for example, maintaining legible and faithful chains of thought as long as possible. We should define these constraints ahead of time, maintain them as long as we can throughout the intelligence explosion, and only drop them if absolutely necessary.
- There's likely a lot more possible here.
Will these be foolproof? Not at all. True superintelligence is likely able to get around most-any security scheme for example. Still, they buy us a lot more margin for error—and we're going to need any margin we can get. We'll want to use that margin to get in a position where we have very high confidence in our alignment techniques, only relaxing "superdefense" measures (for example, deploying the superintelligence in non-airgapped environments) concomitant with our confidence.
Things will get dicey again once we move to deploying these AI systems in less-controlled settings, for example in military applications. It's likely circumstances will force us to do this fairly quickly, but we should always try to buy as much margin for error as much as possible—for example, rather than just directly deploying the superintelligences "in the field" for military purposes, using them to do R&D in a more isolated environment, and only deploying the specific technologies they invent (e.g., more limited autonomous weapons systems that we're more confident we can trust).
Why I'm optimistic, and why I'm scared
I'm incredibly bullish on the technical tractability of the superalignment problem. It feels like there's tons of low-hanging fruit everywhere in the field. More broadly, the empirical realities of deep learning have shaken out more in our favor compared to what some speculated 10 years ago. For example, deep learning generalizes surprisingly benignly in many situations: it often just "does the thing we meant" rather than picking up some abstruse malign behavior.15 Moreover, while fully understanding model internals will be hard, at least for the initial AGIs we have a decent shot of interpretability—we can get them to reason transparently via chains of thought, and hacky techniques like representation engineering work surprisingly well as "lie detectors" or similar.
I think there's a pretty reasonable shot that "the default plan" to align "somewhat-superhuman" systems will mostly work.16 Of course, it's one thing to speak about a "default plan" in the abstract—it's another if the team responsible for executing that plan is you and your 20 colleagues (much more stressful!).17 There's still an incredibly tiny number of people seriously working on solving this problem, maybe a few dozen serious researchers. Nobody's on the ball! There's so much interesting and productive ML research to do on this, and the gravity of the challenge demands a much more concerted effort than what we're currently putting forth.
But that's just the first part of the plan—what really keeps me up at night is the intelligence explosion. Aligning the first AGIs, the first somewhat-superhuman systems, is one thing. Vastly superhuman, alien superintelligence is a new ballgame, and it is a scary ballgame.
The intelligence explosion will be more like running a war than launching a product. We're not on track for superdefense, for an airgapped cluster or any of that; I'm not sure we would even realize if a model self-exfiltrated. We're not on track for a sane chain of command to make any of these insanely high-stakes decisions, to insist on the very-high-confidence appropriate for superintelligence, to make the hard decisions to take extra time before launching the next training run to get safety right or dedicate a large majority of compute to alignment research, to recognize danger ahead and avert it rather than crashing right into it. Right now, no lab has demonstrated much of a willingness to make any costly tradeoffs to get safety right (we get lots of safety committees, yes, but those are pretty meaningless). By default, we'll probably stumble into the intelligence explosion and have gone through a few OOMs before people even realize what we've gotten into.
We're counting way too much on luck here.
Next post in series: ***IIId. The Free World Must Prevail***
As not-very-politely certified by the doomer-in-chief! At the very least, I would call myself a strong optimist that this problem is solvable. I have spent considerable energies debating the AI pessimists and strongly advocated against policies like an AI pause.↩
I'm most worried about things just being totally crazy around superintelligence, including things like novel WMDs, destructive wars, and unknown unknowns. Moreover, I think the arc of history counsels us to not underrate authoritarianism—and superintelligence might allow authoritarians to dominate for billions of years.↩
As Tyler Cowen says, muddling through is underrated
Ironically, the safety guys made the biggest breakthrough for enabling AI's commercial success by inventing RLHF! Base models had lots of raw smarts but were unsteerable and thus unusable for most applications. ↩
This highlights an important distinction: the technical ability to align (steer/control) a model is separate from a values question of what to align to. There have been many political controversies about the latter question. And while I agree with the opposition to some of the outgrowths here, that shouldn't distract from the basic technical problem. Yes, alignment techniques can be misused—but we will need better alignment techniques to ensure even basic side constraints for future models, like follow instructions or follow the law. See also "AI alignment is distinct from its near-term applications".↩
"We estimate an average hourly payment of approximately $95 per hour," p.3 of the GPQA paper.↩
Very simplified, think of an AI system trying, via trial and error, to maximize money over a period of a year, and the final, trained AI model being the result of a selection process that selects for the AI systems that were most successful at maximizing money.↩
What RL is doing is simply exploring strategies for succeeding at the objective. If a strategy works, it is reinforced in the model. So if lying, fraud, power-seeking, etc. (or patterns of thinking that could lead to these sorts of behaviors in at least some situations) work, these will also be reinforced in the model.↩
(or inference-time monitoring models trained with human supervision)↩
Moreover, even recent progress in mechanistic interpretability to "disentangle the features" of models with sparse autoencoders doesn't on its own solve the problem of how to deal with superhuman models. For one, the model might simply "think" in superhuman concepts you don't understand. Moreover, how do you know which feature is the one you want? You still don't have ground truth labels. For example, there might be tons of different features that look like the "truth feature" to you, one of which is "what the model actually knows" and the others being "what would xyz human think" or "what do the human raters want me to think" etc.
Sparse autoencoders won't be enough on their own, but they will be a tool—an incredibly helpful tool!—that ultimately has to cash out in helping with things like the science of generalization.↩
Essentially, needing only the consistency properties of truth, rather than strong/ground truth labels of true/false, which we won't have for superhuman systems.↩
I'm still worried about the scalability of a lot of these techniques to very superhuman models—I think explicitly or implicitly they mostly rely on ground-truth labels, i.e. a supervisor smarter than the model, and/or favorable generalization.↩
A model stealing its own weights, to make copies of itself outside of the original datacenter.↩
Protecting against humans fooled or persuaded by the AI to help it exfiltrate↩
Though, of course, while that may apply to current models and perhaps human-level systems, we have to be careful about attempting to extrapolate evidence from current models to future vastly superhuman models.↩
To be clear, given the stakes, I think "muddling through" is in some sense a terrible plan. But it might be all we've got.↩
I'm reminded of Scott Aaronson's letter to his younger self:
"There's a company building an AI that fills giant rooms, eats a town's worth of electricity, and has recently gained an astounding ability to converse like people. It can write essays or poetry on any topic. It can ace college-level exams. It's daily gaining new capabilities that the engineers who tend to the AI can't even talk about in public yet. Those engineers do, however, sit in the company cafeteria and debate the meaning of what they're creating. What will it learn to do next week? Which jobs might it render obsolete? Should they slow down or stop, so as not to tickle the tail of the dragon? But wouldn't that mean someone else, probably someone with less scruples, would wake the dragon first? Is there an ethical obligation to tell the world more about this? Is there an obligation to tell it less?
I am—you are—spending a year working at that company. My job—your job—is to develop a mathematical theory of how to prevent the AI and its successors from wreaking havoc. Where "wreaking havoc" could mean anything from turbocharging propaganda and academic cheating, to dispensing bioterrorism advice, to, yes, destroying the world."↩
可靠地控制比我们聪明得多的 AI 系统,是一个尚未解决的技术问题。虽然这是一个可解决的问题,但在快速的智能爆炸过程中,事情很容易失控。应对这一局面将极其紧张;失败很容易演变为灾难。
本文内容:
老魔法师终于离开啦!如今他掌控的精灵们当听从我的号令。……我也要创造奇迹。……先生,我已走投无路!我所召唤的精灵——我已无法摆脱它们。
约翰·沃尔夫冈·冯·歌德(Johann Wolfgang von Goethe),《魔法师的学徒》
读到这里,你大概已经听说过那些 AI 末日论者(doomer)。你或许被他们的论点吸引过,或许也曾不屑一顾。你不愿再读一篇悲观绝望的沉思。
我不是末日论者。1 未对齐的超级智能(misaligned superintelligence)可能并不是最大的 AI 风险。2 但过去一年我确实在 OpenAI 把对齐 AI 系统的技术研究当作日常工作,与 Ilya 和 Superalignment 团队共事。有一个非常现实的技术问题:我们当前的对齐技术(确保我们能可靠地控制、引导和信任 AI 系统的方法)无法扩展到超人(superhuman)AI 系统。我想做的是解释我所看到的、我们将如何"摸着石头过河"(muddle through)的"默认"计划,3 以及我为何乐观。没有足够多的人足够警觉——我们应该为解决这个问题投入更雄心勃勃的努力!——总体而言,深度学习的发展方向对我们有利,存在大量经验层面的"低垂果实"能帮我们走完一部分路,而且我们还将拥有数以百万计的自动化 AI 研究员的优势来帮我们走完剩下的路。
但我也想告诉你我为何担忧。最重要的是,确保对齐不出差错需要我们在管理智能爆炸时具备极高的能力。如果我们确实会快速实现从 AGI 到超级智能的过渡,我们将面对这样一种局面:在不到一年的时间里,我们将从当前对齐技术后裔大体上还能应付的、可辨认的人类级系统,走向远为异质(alien)、远超人类的系统——它们带来的是性质上完全不同、根本性的全新技术对齐问题;与此同时,我们也将从失败代价低的系统走向失败可能带来灾难的极其强大的系统;而这一切发生时,世界大部分地方大概正处于某种疯狂状态。这让我相当紧张。
到这个十年结束时,我们将有数十亿个远超人类的 AI 智能体在四处运行。这些超人 AI 智能体将能够表现出极其复杂和富有创造力的行为;我们将毫无希望跟上它们的脚步。我们会像试图监督一群拥有多个博士学位者的一年级小学生。
本质上,我们面临的是一个移交信任的问题。到智能爆炸结束时,我们将毫无希望理解我们那十亿个超级智能在做些什么(除非它们选择向我们解释,就像向孩子解释那样)。而且我们目前还不具备可靠保证这些系统满足即便是基本附带约束(side constraint)的技术能力,比如"不说谎"、"遵守法律"或"不要试图窃取你的服务器"。基于人类反馈的强化(RLHF,即 Reinforcement Learning from Human Feedback,基于人类反馈的强化学习)在给当前系统加上这类附带约束方面效果很好——但 RLHF 依赖人类能够理解和监督 AI 行为,这在根本上无法扩展到超人系统。
简而言之,如果没有非常协调一致的努力,我们无法保证超级智能不会走上"叛乱"(rogue)之路(这一点也得到业界许多领军人物的承认。是的,按默认轨迹这一切可能都没事。但我们就是还不知道。尤其是当未来的 AI 系统不再仅仅用模仿学习训练,而是用大规模、长时程(long-horizon)的强化学习(RL,reinforcement learning)训练时,它们将经由试错过程形成自己不可预测的行为(例如,它们可能学会撒谎或追求权力,仅仅因为这在现实世界是成功的策略!)。
赌注将大到"但愿最好"根本不足以作为对齐问题的答案。
问题
超级对齐问题
我们已经能够开发出一种非常成功的对齐(即引导/控制)当前 AI 系统(比我们笨的 AI 系统!)的方法:基于人类反馈的强化学习(Reinforcement Learning from Human Feedback,RLHF)。RLHF 背后的想法很简单:AI 系统尝试各种行为,人类对它的行为是好是坏打分,然后强化好的行为、惩罚坏的行为。这样,它就学会了遵循人类偏好。
事实上,RLHF 是 ChatGPT 等成功背后的关键。4 基础模型有大量原始智能,但默认不会以有用的方式运用它们;它们通常只会用一团类似随机互联网文本的乱码回应。通过 RLHF,我们可以引导它们的行为,注入遵循指令、乐于助人等重要的基本特质。RLHF 还让我们能够内置安全护栏:例如,如果用户向我要生物武器的制造方法,模型应该拒绝。5
超级对齐的核心技术问题很简单:我们如何控制比我们聪明得多的 AI 系统?
随着 AI 系统变得更聪明,RLHF 可以预见地会失灵,我们将面对根本性的、性质不同的全新技术挑战。例如,设想一个超人 AI 系统用自己发明的新编程语言生成一百万行代码。如果你在 RLHF 流程中问一个人类评分者:"这段代码是否包含安全后门?"他们根本无从知晓。他们无法将输出评为好或坏、安全或不安全,于是我们也就无法用 RLHF 强化好的行为、惩罚坏的行为。
通过人类监督(如 RLHF 那样)对齐 AI 系统无法扩展到超级智能。 基于《弱到强泛化(Weak-to-strong generalization)》中的插图。
即便是现在,AI 实验室已经需要付费聘请资深软件工程师为 ChatGPT 的代码做 RLHF 评分——当前模型能生成的代码已经相当先进了!过去几年间,人类标注者的报酬已从给 MTurk 标注者几美元,涨到 GPQA 题目大约 $100/小时。6 在(不久)的将来,即便最优秀的人类专家花上大量时间也不够。我们现在已开始在现实世界中遇到超级对齐问题的早期版本,而且很快,这甚至会成为实际部署下一代系统时的重大问题。显然,我们需要 RLHF 的继任者,一种能扩展到超越人类水平 AI 能力、而人类监督会失灵的方法。从某种意义上说,超级对齐研究工作的目标就是重演 RLHF 的成功故事:做出几年后引导和部署 AI 系统所必需的基础研究押注。
失败会是什么样子
人们往往只是在脑海里浮现一个"GPT-6 聊天机器人"的形象,据此认为它们肯定不会危险地错位。正如本系列此前讨论过的,"解绑(unhobbling)"轨迹指向的是不久的将来用 RL 训练出来的智能体。我认为 Roger 的图表说得对:
**Roger Grosse(多伦多大学教授)
从安全角度看,我们试图用对齐达成的目标,可以理解为添加附带约束。设想一个未来的强大"基础模型",在第二阶段训练中,我们用长时程 RL 训练它经营企业、赚钱7(作为一个简化示例):
- 默认情况下,它很可能学会撒谎、欺诈、欺骗、入侵、追求权力等——仅仅因为这些可以成为在现实世界赚钱的成功策略!8
- 我们想做的是添加附带约束:不说谎、不违法,等等。
- 但这里我们又回到了对齐超人系统的根本问题:我们将无法理解它们在做什么,因此也就无法用 RLHF 注意到并惩罚坏行为。9
如果我们无法添加这些附带约束,会发生什么就不清楚了。也许我们会走运,默认情况下一切良性(例如,也许在 AI 系统没有长时程目标的情况下我们也能走得很远,或者不良行为只是小问题)。但也完全有可能它们会学到严重得多的不良行为:它们会学会撒谎,学会追求权力,学会在人类注视时表现良好、在我们不看时采取更邪恶的策略,等等。
超级对齐问题尚未解决,意味着我们根本没有能力确保这些超级智能系统满足即便这些基本的附带约束,比如"它们会可靠地遵循我的指令吗?"、"它们会诚实地回答我的问题吗?"、"它们不会欺骗人类吗?"。人们常常把对齐与一些关于人类价值观的复杂问题联系起来,或者跳到政治争议上,但决定向模型中注入哪些行为和价值观虽然重要,却是一个独立的问题。首要问题是:无论你想向模型注入什么(包括确保"遵守法律"这类最基本的事!),我们都还不知道如何对即将很快建成的极其强大的 AI 系统做到这一点。
同样,其后果也并非完全清楚。清楚的是,超级智能将拥有巨大的能力——因此行为失当相当容易变成灾难。更重要的是,我预计在几年之内,这些 AI 系统将被整合进许多关键系统中,包括军事系统(不这样做就意味着被对手完全支配)。这听起来很疯狂,但还记得当初人人都说我们不会把 AI 连上互联网吗?"我们一定会确保人类始终在回路中!"(https://www.dwarkeshpatel.com/p/john-schulman)——人们今天说的这类话也会面临同样的命运。
对齐失败可能表现为孤立事件,比如一个自主智能体实施欺诈、一个模型实例自我窃取(self-exfiltrate)、一个自动化研究员伪造实验结果,或者一群无人机违反交战规则。但失败也可能规模大得多或更具系统性——在极端情况下,失败更像是一场机器人叛乱。我们将召唤出一种相当异质的智能,一种远比我们聪明的智能,其架构和训练过程甚至不是由我们设计的,而是由某代极其聪明的上一代 AI 系统设计的;我们甚至完全无法理解它在做什么;它将运行我们的军事系统;它的目标将由一种类似自然选择的过程习得。
除非我们解决对齐问题——除非我们弄清楚如何注入这些附带约束——否则没有特别的理由预期这个超级智能小文明会在长期内继续服从人类的命令。在某个时刻它们干脆密谋把人类排除在外,无论是突然还是渐进,这似乎完全在可能性的范围内。
智能爆炸让这一切变得极其紧张
我乐观地认为,超级对齐是一个可解决的技术问题。正如我们开发出 RLHF 一样,我们也能为超人系统开发 RLHF 的继任者,并做出让我们的方法获得高度信心的科学。如果事情继续迭代式进展,如果我们坚持严格的安全测试等等,这一切应该都是可行的(稍后我会更多讨论我对我们将如何摸着石头过河的最新猜测)。
让这一切极其惊悚的是智能爆炸的可能性:我们可能极其迅速地完成从大致人类级系统到远为超人的系统的过渡,也许不到一年:
智能爆炸让超级对齐变得极其惊悚。
- 我们将极其迅速地完成从 RLHF 尚能正常工作的系统,到 RLHF 将彻底失灵的系统之间的过渡。这留给我们迭代发现并应对当前方法失败之处的极少时间。
- 与此同时,我们将极其迅速地完成从失败代价相当低(ChatGPT 说了句脏话,那又怎样)的系统,到代价极高的系统(哎呀,超级智能从我们的集群自我窃取了,现在它正在入侵军方系统)的过渡。我们不是在现实环境中迭代式地遭遇越来越危险的安全失败,而是可能第一次遭遇的显著安全失败就已经是灾难性的。
- 到那时我们得到的超级智能将远为超人。我们将完全依赖信任这些系统,并信任它们告诉我们的"正在发生什么"——因为我们将不再有任何能力自行看穿它们究竟在做什么。
- 到那时我们得到的超级智能可能相当异质。在智能爆炸期间,我们将经历十年或更长时间的机器学习(ML,machine learning)进展,这意味着架构和训练算法将完全不同(安全性质也可能危险得多)。
- 一个对我来说非常突出的例子:我们很可能通过用思维链(chain of thought)推理、也就是用英语词元(token)推理的系统,一步步引导出人类级或略超人的 AGI。这极其有帮助,因为这意味着模型"出声思考",让我们能抓住恶意行为(比如它是否在密谋对付我们)。但显然,让 AI 系统用词元思考并不是最高效的方式,显然存在某种好得多的方式,通过内部状态完成所有这些思考——因此智能爆炸结束时的模型几乎可以肯定不会出声思考,也就是说将拥有完全不可解释的推理。
- 这将是一个极度动荡的时期,可能以国际军备竞赛为背景,有大量加快速度的压力,每周都有狂野的新能力进展,而人类几乎没有时间去做出好的决策,等等。我们将面对大量模棱两可的数据和高风险决策。
- 试想一下:"我们在测试中抓到 AI 系统做了一些淘气的事,但我们稍微调整了流程把它解决了。我们的自动化 AI 研究员告诉我们对齐指标看起来不错,但我们并不真正理解发生了什么,也不完全信任它们,我们没有任何强有力的科学理解让我们确信这在再往上走几个数量级(OOM,order of magnitude)之后仍然成立。所以,我们大概会没事?另外,中国刚刚偷走了我们的权重,他们要启动自己的智能爆炸了,就在我们身后紧追不舍。"
*这真的看起来随时可能失控。*说实话,这听起来令人恐惧。
是的,我们会有 AI 系统来帮忙。就像它们会自动化能力研究一样,我们也可以让它们自动化对齐研究。正如我在下文讨论的那样,这将是关键。但——你能信任这些 AI 系统吗?你从一开始就不确定它们是否已对齐——它们关于对齐科学的那些论断,是否真的对你诚实?自动化的对齐研究能否跟上自动化的能力研究(例如,因为自动对齐更难,比如与提升模型能力相比,可信任的指标更不清晰,或者因为国际竞赛带来大量全速推进能力的压力)?而且,AI 无法完全替代在这个极其高风险局势中做出正确决策的、仍然由人类担任的决策者。
默认计划:我们如何摸着石头过河
归根结底,我们需要为远为超人、相当异质的超级智能解决对齐问题。也许在某个地方存在一劳永逸、简单明了的对齐超级智能的解决方案。但我强烈的猜测是,我们将靠摸着石头过河走到那里。
我认为我们可以在下面将描述的一系列经验性押注上收获胜利,从而对齐略超人(somewhat-superhuman)的系统。然后,如果我们有信心信任这些系统,就需要在智能爆炸期间,利用这些略超人系统来自动化对齐研究——与整个 AI 研究的自动化同步进行——弄清楚如何解决对齐问题,走完剩下的路,一路走到远为超人、相当异质的超级智能。
对齐略超人的模型
只对齐人类级系统是不够的。即便是第一批能进行自动化 AI 研究、也就是启动智能爆炸的系统,在许多领域很可能已经大幅超人。这是因为 AI 能力很可能是参差不齐的——当 AGI 在人类 AI 研究员/工程师最不擅长的领域达到人类级时,它在许多其他领域已经超人。例如,也许 AI 系统有效协调和规划的能力相对滞后,这意味着到智能爆炸全面爆发时,它们很可能已经是超人的程序员,用自己设计的新编程语言提交百万行级的合并请求(pull request),并且在数学和机器学习上远超人类。
这些智能爆炸初期的系统将在数量和质量上开始超人,至少在许多领域如此。但它们在架构上会更接近我们今天的系统,我们需要跨越的智能差距也更容易处理。(也许人类试图对齐真正的超级智能,就像一年级小学生试图监督博士毕业生,而这更像是聪明的高中生试图监督博士毕业生。)
更一般地说,我们现在能发展出多少好的科学,就越有能力在智能爆炸期间核实事情没有失控。即便是拥有可用于超级对齐的、可信任的好指标,也出奇地困难——但如果智能爆炸期间没有可靠的指标,我们就无法知道继续推进是否安全。
以下是我看到的、用于跨越人类级与略超人系统之间差距的一些主要研究押注:
**评估比生成更容易。**我们在一定程度上"免费"获得进展,因为对我们来说,评估输出(尤其是严重的不良行为)比自己生成它们更容易。例如,我写一篇论文需要数月甚至数年的艰苦工作,但判断别人写的一篇论文好不好只需几个小时(尽管识破造假可能需要更久)。我们会有专家团队花大量时间评估每一个 RLHF 样例,即便 AI 系统比他们略聪明,他们也能对大量不良行为"点踩"。话虽如此,这只能带我们走到一定程度(即便评估比生成容易,GPT-2 甚至 GPT-3 也无法可靠地识别出恶意的 GPT-4!)
**可扩展监督(Scalable oversight)。**我们可以用 AI 助手帮助人类监督其他 AI 系统——人机协作团队能把监督延伸得比人类单独监督更远。例如,设想一个 AI 系统生成了 1M 行复杂代码。如果 AI 助手已经指出(比如说)第 394,894 行看起来可疑,人类去复核某一行代码是否有 bug,比自己从零找出同样的 bug 要容易得多。一个被训练来批评另一个模型所写代码的模型,因此可以帮助人类监督一个编码能力略超人的系统。
目前已提出若干可扩展监督策略,包括辩论(debate)、做市(market-making)、递归奖励建模(recursive reward modeling)和证明者-验证者博弈(prover-verifier games),以及这些想法的简化版本,如批判(critiques)。现在的模型已经足够强大,可以对这些想法进行经验性检验,在可扩展监督上取得直接进展。
我预计这在问题的"数量上"超人部分会大有帮助,比如前述的百万行代码示例。但对于问题中"质量上"超人的部分,我对可扩展监督技术能真正起到多大作用不太乐观——设想你只懂牛顿物理学,而模型发明了量子物理学。
**泛化(Generalization)。*即便有了可扩展监督,我们也无法在真正困难的问题上——超出人类理解能力的问题上——监督 AI 系统。然而,我们可以研究:AI 系统会如何从容易问题(我们确实理解且能够监督)上的人类监督泛化*到在困难问题(我们无法理解、也无法再监督)上的行为?例如,也许在简单情况下监督模型保持诚实,会良性泛化到模型总体上都保持诚实,即便是在它做着极端复杂的、我们不理解的事情时。
这里有很多乐观的理由:深度学习的魔力之一在于它往往以良性方式泛化(例如,只用英语样例的标签做 RLHF,模型说法语或西班牙语时也往往会表现出良好行为,即使那并不在训练范围内)。我相当乐观地认为,既会出现一些相当简单的方法来推动模型的泛化朝有利于我们的方向发展,我们也能发展出强有力的科学理解,帮助我们预测泛化何时有效、何时失效。相比于可扩展监督,这里更值得期待的是,即便在"质量上"超人的情况下,它也有助于对齐。
这里还有另一种思考方式:如果一个超人模型行为不端,比如说违法,直觉上模型应该已经知道自己在违法。此外,"这是否违法"对模型来说很可能是一个相当自然的概念——而且它在模型的表征空间(representation space)中会相当突出。那么问题就是:我们能否只用弱监督,就把这个概念从模型中"召唤"出来?
我特别偏爱这个方向(也许有点偏见),因为我参与和 OpenAI 的同事在最近的一些工作中提出了它。具体来说,我们研究了人类监督超人系统这一问题的类比——一个小模型能否对齐一个更大的(更聪明的)模型?我们发现,泛化确实能帮你跨越监督者与被监督者之间的部分(但肯定不是全部)智能差距,而且在简单情境下,有很多办法可以改善它。
研究超级对齐的一个简单类比:与其让人类监督超人模型,我们可以研究小模型监督大模型。例如,我们能否仅凭 GPT-2 的监督来对齐 GPT-4?这能否让 GPT-4 恰当地泛化出"GPT-2 的意图"? 插图来自《弱到强泛化(Weak-to-strong generalization)》。
**可解释性(Interpretability)。**我们希望用来验证并信任我们的 AI 系统已对齐的一种直觉上很有吸引力的方式,是能够理解它们在思考什么!例如,如果我们担心 AI 系统在欺骗我们或密谋对付我们,接触它们的内部推理应该能帮助我们察觉这一点。
默认情况下,现代 AI 系统是不可揣测的黑箱。然而,我们似乎应该能够做惊人的"数字神经科学"——毕竟,我们可以完美地接触模型内部。
这里有几条不同的路线,从"最雄心勃勃、最'酷'但会非常困难",到"更容易、可能直接奏效的权宜之计":
*机制可解释性(Mechanistic interpretability)。*尝试从头开始完全逆向工程大型神经网络——可以这么说,完全解开那些不可揣测的矩阵。
Anthropic 的 Chris Olah 团队在这方面做了大量开创性工作,从理解极小模型中的简单机制起步。近期有极其令人兴奋的进展,我对这个领域整体的活跃程度感到振奋。
话虽如此,我担心完全逆向工程超人 AI 系统只会是一个棘手的问题——类似"完全逆向工程人类大脑"——我会把这项工作主要归入"AI 安全的雄心勃勃登月计划",而不是"摸着石头过河的默认计划"这一类。10
(Neel Nanda 的机制可解释性 200 个开放问题也让我们领略这类研究的风貌。)
***"自上而下"的可解释性。** *如果说机制可解释性试图"自下而上"地逆向工程神经网络,那么其他工作则采取更有针对性的"自上而下"路线,试图在不完全理解信息如何被处理的情况下定位模型中的信息。
例如,我们可能试图通过识别神经网络中在 AI 系统撒谎时"亮起"的部分,来构建一个"AI 测谎仪"。这会容易处理得多(即便它给出的保证较弱)。
在过去几年里,这个领域涌现出一大批令人兴奋的工作。CCS 仅凭无监督数据就能识别模型中的"真实方向"。11 ROME 能识别出模型知道埃菲尔铁塔在巴黎的部分——然后直接编辑模型的知识,把埃菲尔铁塔挪到罗马。表征工程(Representation Engineering)和推理时干预(Inference-time Interventions)展示了如何用自上而下技术检测撒谎和幻觉,并在越狱(jailbreaking)、追求权力、公平、诚实等方面外科手术式地控制模型行为。还有其他创造性工作甚至不需要模型内部信息就能测谎。
我越来越看好自上而下可解释性技术将成为强大工具——也就是说,我们将能构建出类似"AI 测谎仪"的东西——而且不需要在理解神经网络上取得根本性突破。12
*思维链可解释性(Chain-of-thought interpretability)。*如前所述,我认为我们很可能通过用思维链"出声思考"的系统一步步引导出 AGI。即便在极限情况下它不是最高效的算法(如果超级智能还用英语思维链、而不是通过某种循环内部状态来思考,我会非常惊讶),对第一批 AGI 而言,我们仍很可能从中受益。这对可解释性将是一份不可思议的厚礼:我们将能接触到 AGI 的"内心独白"!这将使检测严重的对齐失败变得相对容易。
然而,如果我们想依赖这一点,还有大量工作要做。我们如何确保思维链(CoT,chain of thought)保持清晰可读(legible)?(它可能只是从可理解的英语漂移成难以理解的模型语(model-speak),这取决于我们比如如何用 RL 训练模型——我们能否添加一些简单约束来确保它保持可读?)我们如何确保 CoT 是*忠实(faithful)*的,即真正反映模型的思考?(例如,有一些工作表明,在某些情况下,模型会在 CoT 中编造事后推理,这些推理并不真正反映它们得出答案时实际的内部推理。)
我最好的猜测是,一些简单的可读性和忠实性度量,加上一些让可读性和忠实性保持更久的简单技巧,能走得很远。是的,这在某些世界里行不通,而且有点像是简单的权宜之计,但它是如此唾手可得的果实;在我看来,这个方向被低估得令人发指。
对抗性测试与度量(Adversarial testing and measurements)。*在此过程中,在每一步都对系统的对齐进行压力测试将至关重要——我们的目标应该是先于在现实世界中遭遇每一种失败模式之前,在实验室里遇到它。这将需要大幅推进自动化红队(automated red-teaming)技术。例如,如果我们故意在模型中植入后门或错位,我们的安全训练能否抓住并清除它们?(例如,早期工作表明,"沉睡特工(sleeper agents)"能够挺过安全训练存活下来。)
更一般地说,在过程中拥有良好的对齐度量将至关重要。模型是否具备错位的"能力"?例如,它是否有长时程目标,它在学习什么样的驱动力?什么算是明确的"红线"?例如,一个非常直观的界限可能是"模型的推理(思维链)必须始终保持清晰可读且忠实"。(正如 Eric Schmidt 所说,一旦 AI 智能体能用我们无法理解的语言互相交谈,我们就应该拔掉计算机的电源。)另一个可能是开发更好的度量,来判断模型是否完全诚实。
度量对齐的科学仍处于婴儿期;改进它将对于帮助我们在智能爆炸期间在风险上做出正确的权衡至关重要。做出让我们能够度量对齐、并让我们理解"什么证据足以让我们确信向超人领域再上一个数量级(OOM)是安全的?"的科学,是当今对齐研究中优先级最高的工作之一(不限于那些试图把 RLHF 进一步扩展到"略超人"系统的工作)。
另见超级对齐快速资助(Superalignment Fast Grants)征集提案中的这份超级对齐研究方向综述*。*
自动化对齐研究
归根结底,我们需要自动化对齐研究。我们不可能直接为真正的超级智能解决对齐问题;跨越那么巨大的智能差距看起来极其困难。此外,到智能爆炸结束时——在 100 million 个自动化 AI 研究员疯狂推进了十年的机器学习进展之后——我预期系统的架构和算法会与当前系统相比异质得多(可能带有更不良性的性质,比如在 CoT 的可读性、泛化性质或训练导致的错位严重性方面)。
但我们也不必只靠自己解决这个问题。如果我们能够把略超人系统对齐到足以信任它们,我们就会处于一个不可思议的位置:我们手头将有数百万个比最优秀 AI 研究员还聪明的自动化 AI 研究员。妥善利用这支自动化研究员大军,为更加超人的系统解决对齐问题,将具有决定性意义。
(顺便说一句,这一点更普遍地适用于全谱系的 AI 风险,包括滥用等等。在所有这些情况下,通往 AI 安全的最佳路线——也许是唯一路线——都将涉及妥善利用早期 AGI 来保障安全;例如,我们应该让一大批 AGI 投入自动化研究,以加强防范外国行为者窃取权重的安全措施,让另一批 AGI 加强抵御最坏情况生物攻击的防御,等等。)
在智能爆炸期间做好自动化的对齐研究将事关重大:我们将在短短几个月内经历多年的 AI 进展,人类几乎没有时间做出正确的决策,而且我们将开始进入对齐失败可能带来灾难的领域。如有必要,实验室应愿意在智能爆炸期间把很大一部分算力投入自动化的对齐研究(相对于自动化的能力研究)。我们将需要强有力的保证,让我们能够信任正在产出的自动化对齐研究,还需要比我们今天好得多的错位度量,才能知道我们是否仍在安全区。对于每一个我们想攀升的数量级(OOM),我们都需要对下一个 OOM 的对齐方法抱有极高的信心。
最重要的是,把这件事做对需要极高程度的能力、严肃性以及做出艰难权衡的意愿。一旦我们接近真正的超级智能,赌注就变得无比真实,而失败——叛乱的 AI——可能是灾难性的。会有一些证据模糊的时刻:指标表面上看还好,但存在一些暗示危险逼近的预警信号,而我们大多已经不知道到底在发生什么。负责任地驾驭这种局面需要做出代价高昂的权衡。最终,为下一代超级智能放行(greenlight)的决定,需要像启动一次军事行动的决定一样严肃对待。
超级防御(Superdefense)
"把对齐做对"只应该是智能爆炸期间多层防御中的第一层。对齐会很困难;一路上必定会有失败。只要有可能,我们就需要处于这样一种境地:对齐可能失败——但失败不会带来灾难。这可能意味着:
- **安全(Security)。**气隙(airgapped)集群是抵御超级智能试图自我窃取并在现实世界造成破坏的第一层防御。而这只是开始;我们需要远为极端的安全措施来全面防范模型自我窃取,13 从硬件加密到多密钥签核(many-key signoff)。14 一旦我们的 AGI 能够进行自动化的研发(R&D),我们也应该让它们去进一步加强安全。
- **监控(Monitoring)。**如果我们的 AI 系统在图谋不轨或怀有恶意——或者一个叛逆的员工试图用它们进行未经授权的活动——我们需要能够抓住它。然而,这并非易事:我们将有数百万个 AGI 实例在我们的集群上运行,执行复杂代码等等。我们将需要利用模型本身的高级监控系统,包括监控模型输出、思维链、模型编写的代码、服务器/网络活动以及与研究员/其他人的交互;本质上,是利用一些 AI 系统去告发另一些 AI 系统。此外,我们希望开发和部署复杂的"控制"协议,用能力较弱但值得信任的模型来防范能力更强但更不值得信任的模型的颠覆。这可能要求,例如,把与活跃模型实例同等数量的算力专门用于监控模型实例。
- **针对性的能力限制(Targeted capability limitations)。**我们应该尽可能以有针对性、能减少失败影响的方式来限制模型的能力。这方面一个核心例子可能是把训练数据中所有与生物学和化学相关的内容清洗掉(或使用"遗忘(unlearning)"技术);这有助于切断通过生物和化学武器造成灾难性现实世界伤害的路径。
- **针对性的训练方法限制(Targeted training method restrictions)。**某些训练模型的方式可能天生就比其他方式风险更高——更可能产生严重的错位。例如,模仿学习似乎相对安全(很难想象它如何导致模型产生危险的长时程内部目标),而我们应该尽可能久地避免基于结果的长时程强化学习(它似乎更可能导致模型学到不良的长期目标)。我们还应该避免针对我们的可解释性方法和监控设置进行训练(以免我们的模型只是被训练成绕过这些东西)。可能还有更多可取的限制,比如尽可能久地保持清晰可读且忠实的思维链。我们应该提前定义这些约束,在智能爆炸期间尽可能久地维持它们,并且只在绝对必要时才放弃。
- 这里可能还有更多可以做的事情。
这些措施万无一失吗?根本不是。例如,真正的超级智能很可能能绕过几乎所有安全方案。尽管如此,它们还是为我们买来了大得多的容错余地——而我们正需要任何能得到的余地。我们会想利用这种余地,让自己处于对我们的对齐技术高度有信心的位置,并且只有在信心增长时才放松"超级防御"措施(例如在非气隙环境中部署超级智能)。
一旦我们转向在受控程度较低的环境中部署这些 AI 系统,比如军事应用,情况又会变得棘手。形势很可能会迫使我们相当快地这样做,但我们应始终设法买来尽可能多的容错余地——例如,与其直接把超级智能"部署到战场"用于军事目的,不如让它们在更隔离的环境中做研发,只部署它们发明的特定技术(例如,我们有信心能够信任的、功能更受限的自主武器系统)。
我为何乐观,又为何恐惧
我对超级对齐问题在技术上的可解性无比看好。感觉这个领域到处都有大量低垂的果实。更广泛地说,与十年前一些人的猜测相比,深度学习的经验现实对我们更有利。例如,深度学习在许多情况下会泛化得惊人地良性:它往往只是"做了我们本意要做的事",而不是养成某种晦涩的恶意行为。15 此外,虽然完全理解模型内部将很困难,但至少对最初的 AGI,我们有不错的机会实现可解释性——我们可以让它们通过思维链透明地推理,而且表征工程(representation engineering)这类权宜技术在充当"测谎仪"或类似用途时效果惊人地好。
我认为,对齐"略超人"系统的"默认计划"大体上能奏效的可能性相当可观。16 当然,在抽象层面谈论"默认计划"是一回事——如果负责执行该计划的团队是你和你的 20 位同事,那又是另一回事(压力大得多!)。17 认真致力于解决这个问题的人仍然少得惊人,也许只有几十位认真的研究者。没有人在状态!这方面有太多有趣且富有成效的机器学习研究可做,而这个挑战的严重性要求我们付出比当前大得多的协同努力。
但那只是计划的第一部分——真正让我夜不能寐的是智能爆炸。对齐第一批 AGI、第一批略超人系统是一回事。远为超人、异质的超级智能是一场全新的博弈,而且是一场可怕的博弈。
智能爆炸会更像打一场战争,而不是发布一款产品。我们并没有走在超级防御、气隙集群或任何这类事情的轨道上;我甚至不确定,如果模型自我窃取了,我们会不会察觉。我们没有走在一条合理的指挥链上,来做出任何这些疯狂高风险的决策,来坚持超级智能所要求的极高信心,来做出在下一次训练启动前多花时间把安全做对、或把绝大部分算力投入对齐研究的艰难决定,来提前识别危险并避开它,而不是一头撞上去。目前,没有哪个实验室展现出多少为把安全做对而付出代价高昂权衡的意愿(我们确实有很多安全委员会,是的,但它们几乎毫无意义)。按默认轨迹,我们很可能会跌跌撞撞地进入智能爆炸,在人们甚至还没意识到我们陷入了什么之前,就已经往上走了几个数量级(OOM)。
我们在太多地指望运气了。
本系列下一篇:IIId. 自由世界必须获胜(The Free World Must Prevail)
正如末日论者首领不太客气地认证的那样!至少,我会称自己为坚定的乐观主义者,认为这个问题是可解的。我花了大量精力与 AI 悲观主义者辩论,并强烈反对暂停 AI 之类的政策。↩
我最担心的是超级智能周围一切都彻底疯狂,包括新型大规模杀伤性武器(WMD)、毁灭性战争和未知的未知(unknown unknowns)之类的事情。此外,我认为历史的走向告诫我们不要低估威权主义——而超级智能可能让威权者统治数十亿年。↩
正如 Tyler Cowen 所说,摸着石头过河被低估了!↩
讽刺的是,安全人员通过发明 RLHF 为 AI 的商业成功做出了最大的突破!基础模型有大量原始智能,但无法引导,因此对大多数应用都不可用。↩
这凸显了一个重要的区分:对齐(引导/控制)一个模型的技术能力,与"对齐到什么"这一价值观问题是两回事。关于后者已有很多政治争议。虽然我同意对这里某些衍生问题的反对意见,但那不应分散我们对基本技术问题的注意力。是的,对齐技术可能被滥用——但我们将需要更好的对齐技术,来确保未来的模型满足即便是基本的附带约束,比如遵循指令或遵守法律。另见"AI 对齐不同于其短期应用"。↩
"我们估计平均时薪约为每小时 $95",见 GPQA 论文 第 3 页。↩
极度简化地说,设想一个 AI 系统通过试错,在一年的时间里设法最大化金钱收益,而最终训练出来的 AI 模型是这样一个选择过程的结果:该过程挑选出在最大化金钱收益方面最成功的 AI 系统。↩
RL 所做的只是探索在目标上取得成功的策略。如果某个策略有效,它就会在模型中得到强化。因此,如果撒谎、欺诈、追求权力等(或在至少某些情况下可能导致这类行为的思维模式)奏效,它们也会在模型中得到强化。↩
(或者是用人类监督训练的推理时监控模型)↩
此外,即便是最近用稀疏自编码器(sparse autoencoder)"解开模型特征"的机制可解释性进展,本身也不能解决如何应对超人模型的问题。其一,模型可能只是用你不理解的超人概念来"思考"。其二,你怎么知道哪个特征才是你想要的?你仍然没有真值标签(ground truth label)。例如,可能有大量看起来像"真实特征"的不同特征,其中一个是"模型实际知道什么",其他则是"某个 xyz 人类会怎么想"或"人类评分者希望我怎么想",等等。
稀疏自编码器本身还不够,但它们将是一个工具——一个极其有用的工具!——最终必须兑现为对诸如泛化科学等事物的帮助。↩
本质上,只需要"真实"的一致性质,而不是强/真值的真假标签——对于超人系统,我们不会拥有后者。↩
我仍然担心这些技术中有很多扩展到非常超人模型的扩展性——我认为它们或明或暗大多依赖真值标签,即一个比模型更聪明的监督者,和/或有利的泛化。↩
模型窃取自己的权重,以便在原始数据中心之外复制自己。↩
防范被 AI 欺骗或说服、帮助其窃取数据的人类↩
不过,当然,尽管这可能适用于当前模型、也许适用于人类级系统,我们在试图把当前模型的证据外推到未来远为超人的模型时必须小心。↩
需要说明的是,鉴于其中的利害关系,我认为"摸着石头过河"在某种意义上是一个糟糕的计划。但它可能是我们仅有的选择。↩
我想起了 Scott Aaronson 写给他年轻自己的一封信:
"有一家公司正在构建一个 AI,它填满巨大的房间,消耗一个小镇的用电量,并且最近获得了与人交谈的惊人能力。它可以就任何主题写文章或诗歌,可以在大学水平的考试中拿满分。它每天都在获得新的能力,而那些照料这个 AI 的工程师甚至还不能在公开场合谈论这些。然而,这些工程师确实会坐在公司餐厅里,争论他们正在创造之物的意义。它下周会学会做什么?它可能让哪些工作过时?他们是否应该放慢或停下来,以免撩拨巨龙的尾巴?但那样岂不是意味着别人——很可能是一个顾虑更少的人——会先唤醒巨龙?是否有道德义务向世界透露更多关于这件事的信息?又是否有义务透露更少?
我——你——将在这家公司工作一年。我的工作——你的工作——是发展一套数学理论,来防止这个 AI 及其后继者造成浩劫。这里的"造成浩劫"可以指任何事情,从大幅助长宣传和学术作弊,到提供生物恐怖主义建议,再到,是的,毁灭世界。"↩


