Pop Culture Alignment Research and Taxes

post by Jan (jan-2) · 2022-04-16T15:45:26.831Z · LW · GW · 14 comments

This is a link post for https://universalprior.substack.com/p/pop-culture-alignment-research-and?s=w

Contents

  All Bad Ends All (click for soundtrack)
  Pop culture alignment problem
  The only certainty in life
  The Impossibility Of A Negative Alignment Tax
  Closing thoughts
None
14 comments

TL;DR: A quick recap of all the AI progress published recently, a shortcoming of the alignment tax definition, and a dynamical systems model of AI progress.

Previously in this series: Cognitive Biases in Large Language Models, Drug addicts and deceptively aligned agents - a comparative analysis, Inferring utility functions from locally non-transitive preferences.

All Bad Ends All (click for soundtrack)

It's been a couple of exciting weeks.

Through a series of wacky coincidences (TBA), yours truly got access to the beta version of OpenAI’s new image generation technology and has been updating the thumbnails of his Substack (see here for a disclosure).

Three images created by me with OpenAI’s DALL-E 2. The prompts are: "A painting of Leonardo Da Vinci holding a slice of pizza.", "A painting of a chinchilla and a gopher dancing.", "A painting of a painting of a painting of a painting."

Not coincidentally, one of the founding figures of AI Safety published an April Fool's post announcing that their new strategy is just giving up [LW · GW], accompanied by a fair amount [LW(p) · GW(p)] of despair [LW · GW] in the community [LW · GW]. More moderate voices are willing to bet money [LW · GW] that AI doom is not imminent and that we still have at least ten years[6]. Prediction markets have reacted to the news by decreasing median timelines by 5 to 10 years but still placing it 10 to 20 years in the future. Notably, this is less than the typical 30 years implied by Platt's law, but these estimates are notoriously hard to interpret[7].

From source. Note that the y-axis is logarithmic.

In my experience, the best strategy in response to a big, exciting thing is to ignore it. Enough smart people will already be thinking about the topic, and all the important details will reach you through social osmosis[8] in due time.

Consequently, I focus on the B-story that develops parallel to all the exciting rush. I look at whether there currently is any alignment tax, whether the alignment tax might be negative (temporarily), and how we might expect the alignment tax to change.

Pop culture alignment problem

Let's recap one line of argument for what we might expect advanced AI to look like:

In the early days [LW · GW] when people started to think about advanced AI, there was a pretty even divide on whether an advanced AI will tend to be friendly or unfriendly "by default"[9]. With this debate as a backdrop, Nick Bostrom posited his Orthogonality thesis in 2012:

Intelligence and final goals are orthogonal axes along which possible agents can freely vary.

The orthogonality thesis is an idea we are very familiar with from pop culture. Fictional characters can be heroes or villains, and they can be capable or inept. Have a look at this alignment chart that took me way too long to make:

I don't know what half of these characters do, but I hope I placed them approximately right. Please have extensive discussions about this chart in the comments.

None of these characters are real, and arguments from fictional evidence [LW · GW] shouldn't convince anyone. But we don't have to search long to find real examples of very capable evil (factory farming [? · GW], drug cartels, or Wall Street psychopaths) or very inept good (petition to end poverty, plastic straw bans, or sweaters for kittens).

The category "capable neutral", however, is the weirdest one. Surprisingly, it contains some striking examples from advanced AI systems:

Note that none of these cases resemble "The Joker" - these systems did not have the explicit goal of harming someone or causing chaos. The bad effects I list are only side-effects of the thing the system is designed to do.

Systems in the "neutral" or "evil" row are called unaligned or misaligned, and the problem of pushing them more into the top row is called The Alignment Problem. Some people argue that solving the alignment problem could be one of the most important challenges [AF · GW]. Such claims are made about different things all the time. But when we see how our AI systems are getting exponentially more capable, we can imagine that problems like those with the YouTube recommendation algorithm, Tay AI, and the Amazon hiring software might also grow exponentially in severity. And the same way that more capable AI systems exhibit qualitatively new capabilities, there is also the possibility that we will encounter qualitatively new problems [LW · GW].

The only certainty in life

We might want to be very careful when designing a new system to avoid these problems. We might want to run many tests before deployment and build the system to steer it away from bad failure modes. (Or perhaps we could “just” decide not to develop the system in the first place [LW · GW].)

All of these proposals come with a certain cost[10]; they might

Paying these costs might be worth it ex-post (YouTube, Microsoft, and Amazon probably wish they had done those things only to avoid the bad PR). Still, ex-ante, the danger of being scooped by a faster rival or the possibility that the safety precautions turn out to be unnecessary are more salient.

Schematic of the alignment tax. The label on the y-axis is debatable. The tax can not only be paid in performance but also in development time or system complexity (in which case the relationship reverses).

The additional cost imposed by making a system safe is called the alignment tax [? · GW]. The idea came originally from Eliezer Yudkowsky, but Paul Christiano popularized the term. The term popped [LW · GW] up repeatedly [? · GW] in the following years, with some people arguing that the tax could be pretty low [EA · GW] or infinitely high [AF · GW]. An infinite tax corresponds to an unsolvable problem (there is no way to make the system safe). A tax close to zero means that it will take very little additional effort to include the safety features (possibly because other researchers have made it very easy to include them).

Arguments on this topic have, however, an unmistakable theoretical bent. We can only determine the actual cost of the alignment tax in retrospect once you realize all your mistakes. And maybe not even then; we don't only care about the actual cost but also the probability of failure. If something works 99% of the time but has a bad failure mode in 1% of cases, we still want to have good mechanisms to handle the 1% [LW · GW]. Just because the 1% didn't happen doesn't mean it was the right decision not to prepare for it.

We can (and should) sit down and think about how AI can go wrong [LW · GW] and what it would cost to prevent it. If that number comes out to be ∞ or some number larger than anything we could ever reasonably afford, well, that's not actionable [LW · GW]. If that were the number I came up with, I'd want to keep the argument in mind, hope I'm wrong, and try to do the things I can do.

The Impossibility Of A Negative Alignment Tax

All of this was a rather longwinded intro[11] for an interesting result from the InstructGPT paper and the new Anthropic paper (emphasis is theirs):

We were able to mitigate most of the performance degradations introduced by our fine-tuning. -- Training language models to follow instructions with human feedback

 

Smaller models experience severe ‘alignment taxes’ – their performance on a wide variety of evaluations declines after RLHF training. However, we find a variety of alignment bonuses, with our 13B and 52B RLHF-trained models performing better at zero-shot NLP evaluations, and the same at few-shot evaluations. -- Training a Helpful and Harmless Assistant with Reinforcement Learning from Human Feedback

Note that both papers use a technique called 'reinforcement learning from human feedback' (RLHF) to finetune a language model to produce output that scores well when rated by humans. Both of these papers observe that this finetuning can be done without deteriorating performance on the benchmarks. And both papers observe that the finetuned models became a lot better on things we care about[12]. And both papers mention that there doesn't appear to be a huge alignment tax (or that we can mitigate it), Anthropic going even so far as to talk about an alignment bonus. What's going on here?

When I put my skeptical hat [AF · GW] on, the answer is a bit dismissive: "RLHF does not provide any degree of safety worth mentioning, and even if it did, it would not continue to work once we have models that are a lot more capable and dangerous. Applying the "alignment tax" concept to these models is a category error and produces misleading intuitions."

That's a fair point[13], but still, something is going on, and we need some terminology [LW · GW]. I think about it this way: remember the orthogonality thesis from the beginning. Agents can vary along the two axes "good <-> evil" and "capable <-> inept". When we think of the abstract space of AI techniques, the current state-of-the-art is a point in that space. Each innovation translates into moving the state-of-the-art in some direction. At each time, we choose between pushing for innovation in the "safety" or the "capability" direction.

2D picture of AI innovations. a. The current state-of-the-art (grey dot) lies in the alignment chart space from section 1. At any time, we can consider the direction in which a “safety” intervention (blue) or a “capability” intervention (orange) pushes the state-of-the-art. b. In an “alignment tax situation”, the two vectors have a strictly negative dot product. c. In an “alignment bonus” situation, the two vectors have a strictly positive dot product.

This model allows us to explain:

The model also allows us to visualize possible failure modes:

The picture shows three scenarios I could come up with:

These scenarios are not meant to be comprehensive, but I hope they illustrate the usefulness of the 2D model.

Closing thoughts

I’m undecided about whether it’s a good thing that safety research and capability research are pushing in the same direction. On the one hand, incentives matter, and having strong incentives to do safety research is (ceteris paribus) a good thing. On the other hand, things are already moving fast and any push in the capabilities direction is seen as a threat by some [LW · GW]. But independent of any moral judgment of what is happening, knowing that it’s happening, and having better terminology to communicate it, appears useful.

Now I really have to head out! If you’re at EAG London let me know - would love to meet you, dear reader :)

  1. ^
  2. ^
    From Figure 19 of source. Someone on Twitter pointed out that Leonardo is more likely to hold a slice of pizza, so the answer should be Italy. I'm happy that we've reached this level of criticism.
  3. ^

    They leave out “honest” because it's really hard to evaluate for non-expert humans.

  4. ^
    From Figure 1 of source. The green triangle is just outside the "Professional Writer" region. That point represents the set-up where the model was explicitly fine-tuned to be helpful, neglecting harmlessness.
  5. ^

    That's Twitter, though. An artsy friend of mine is now considering changing career tracks to go into "AI art", something that wasn’t really on the menu a few weeks ago.

  6. ^

    To those not familiar with this type of talk, yeah, ten years is still a lot shorter than what the median person on the street or even some experts [AF · GW] would guess. I don't have robust reasoning for how different "timelines" should affect what I do on a day-to-day basis, so I tend not to think about the question too much.

  7. ^

    There has been an influx of new people on those questions in the last two weeks for the prediction markets. It's probably fair to assume that those are not experts (who would have thought about the question even before the new wave of papers) but people who decided to participate because of the papers. And beyond prediction markets, there's this ongoing discussion about whether forecasting AI is possible.

  8. ^

    Or, let’s be honest, LessWrong.

  9. ^

    i.e. if we don't put a lot of work into pushing in one direction or the other.

  10. ^

    Imagine being the poor schlub who has to tell their boss that the system won't be ready for another year because the team has decided to lock it in a box to perform psychoanalysis.

  11. ^

    I'm traveling this weekend, and this was supposed to be just a quick & dirty, lightweight post. If I had more time, I’d write a shorter post.

  12. ^

    As opposed to the benchmarks, which don't capture what we care about super well once they are pushed to an extreme.

  13. ^

    thank you, skeptical hat

  14. ^

    seatbelts were massively unpopular when they were first mandated

  15. ^
  16. ^

    Also, we cannot adopt other technologies for some reason, although they appear to be an improvement in both safety and capabilities. This would be an interesting topic to dive deeper into - is it the "evil greedy company," or is it some inadequate equilibrium?

  17. ^

    Which might be a good or a really bad thing.

  18. ^

14 comments

Comments sorted by top scores.

comment by Maxwell Peterson (maxwell-peterson) · 2022-04-17T01:11:50.325Z · LW(p) · GW(p)

A quibble: Amazon’s resume evaluator discriminated against women who went to women’s colleges, or were in women’s clubs. This is different from discriminating against women in general! I feel like this is an important difference. Women’s colleges, in particular, are not very high-rated, among all colleges. Knowing someone went to a women’s college means you also know they didn’t go to MIT, or Berkeley, or any of the many good state universities. I brought this up to a female friend who went to Columbia; she said Columbia had a women’s college, but that it was a bit of a meme at broader Columbia, for not being a very good school. Googling a bit now, I find there are either 31 or “less than 50” women’s colleges in the US, and that many are liberal arts colleges. If “women’s college” is a proxy variable for “liberal arts college”, that’s a good reason to ding people for listing a women’s college. Most women do not go to women’s colleges! And I’d bet almost none of the best STEM women went to a women’s college.

A prediction: if they included an explicit gender variable in the resume predictor, a candidate being female would carry much less of a penalty (if there was even a penalty) than a candidate having gone to a women’s college.

Another “prediction”, although it’s pushing the term “prediction”, since it can’t be evaluated: in a world where there were less than 50 men’s colleges in the US, and most were liberal arts, that world’s Amazon resume rater would penalize having gone to a men’s college.

Replies from: Closed Limelike Curves, jan-2
comment by Closed Limelike Curves · 2022-04-26T21:18:49.737Z · LW(p) · GW(p)

If “women’s college” is a proxy variable for “liberal arts college”, that’s a good reason to ding people for listing a women’s college.

I suspect you're misunderstanding what a "Liberal arts college" is. In theory, a liberal arts college is one that focuses exclusively on "Academic" subjects, rather than purely practical ones. Math, science, and technology would all fall under the liberal arts, but a liberal arts college won't offer degrees in, say, accounting. In practice, a liberal arts college is a small college that focuses on teaching and only offers undergraduate degrees.

Liberal arts undergrads generate a disproportionate number of PhDs in the sciences. Swarthmore, for instance, has more Nobel laureates per student than any other school (including all the Ivy League colleges).

Replies from: maxwell-peterson
comment by Maxwell Peterson (maxwell-peterson) · 2022-04-27T19:40:49.590Z · LW(p) · GW(p)

Whoops. That’s a big mistake on my part. Appreciate the correction.

comment by Jan (jan-2) · 2022-04-17T07:30:49.231Z · LW(p) · GW(p)

Thanks for the comment, I did not know this! I'll put a note in the essay to highlight this comment.

comment by gwern · 2022-04-17T19:18:14.364Z · LW(p) · GW(p)

Quibble: reminder that the Tay example is probably not real and shouldn't be used.

As far as I can tell, there is no empirical evidence of deceptive AI yet

Surely the Anthropic Codex code-vulnerability prompting is a great example?

Replies from: jan-2, maxwell-peterson
comment by Jan (jan-2) · 2022-04-18T08:40:42.580Z · LW(p) · GW(p)

Thanks for the comment! I'm curious about the Anthropic Codex code-vulnerability prompting, is this written up somewhere? The closest I could find is this, but. I don't think that's what you're referencing?

Replies from: gwern
comment by gwern · 2022-04-18T15:29:45.813Z · LW(p) · GW(p)

https://arxiv.org/pdf/2107.03374.pdf#page=27

Replies from: jan-2
comment by Jan (jan-2) · 2022-04-18T17:52:59.401Z · LW(p) · GW(p)

Interesting, thank you! I guess I was thinking of deception as characterized by Evan Hubinger [AF · GW], with mesa-optimizers, bells, whistles, and all. But I can see how a sufficiently large competence-vs-performance gap could also count as deception.

comment by Maxwell Peterson (maxwell-peterson) · 2022-04-17T19:37:33.866Z · LW(p) · GW(p)

Wait! There’s doubts about the Tay story? I didn’t know that, and have failed to turn up anything in a few different searches just now. Can you say more, or drop a link if you have one?

Replies from: gwern
comment by gwern · 2022-04-17T23:57:53.984Z · LW(p) · GW(p)

I don't want to write an essay about this, it's too stupid an incident for anyone to waste time thinking about, but somehow everyone thinks it's a great example and must be mentioned in every piece on AI risk... Some material: https://news.ycombinator.com/item?id=30739093 https://www.gwern.net/Leprechauns

Replies from: jan-2, maxwell-peterson
comment by Jan (jan-2) · 2022-04-18T08:24:51.907Z · LW(p) · GW(p)

I was not aware of this, thanks for pointing this out! I made a note in the text. I guess this is not an example of "advanced AI with an unfortunately misspecified goal" but rather just an example of the much larger class of "system with an unfortunately misspecified goal".

comment by TLW · 2022-04-16T16:42:40.815Z · LW(p) · GW(p)

We have now reached a point where some features that would substantially improve safety[15] [LW(p) · GW(p)] are not implemented because they would deteriorate capabilities too much[16] [LW(p) · GW(p)].

[16] Also, we cannot adopt other technologies for some reason, although they appear to be an improvement in both safety and capabilities. This would be an interesting topic to dive deeper into - is it the "evil greedy company," or is it some inadequate equilibrium?

The relevant metric is not total deaths per year. Every car moving at 1mm/decade would reduce deaths/year substantially.

A decent[1] metric would be time cost / km[2]. That is: factor in the risk of accidents[3], the time to get from point A to point B itself, and the time cost of working to purchase/maintain the vehicle.

Now, if you show that in this metric these technologies still make sense...

(As an aside, this is the second time recently that I accidentally posted a comment prematurely.)

  1. ^

    This metric still has issues. Just lesser ones.

  2. ^

    For getting from point A to point B in general. If you build a vehicle that e.g. refuses to go down a rural road, meaning that someone has to hike instead, that is itself also part of this cost.

  3. ^

    You can think of something that kills one person with 50 years of life expectancy roughly as though it was just a time cost of 50 years.

Replies from: jan-2
comment by Jan (jan-2) · 2022-04-17T07:28:54.228Z · LW(p) · GW(p)

Iiinteresting! Thanks for sharing! Yes, the choice of how to measure this affects the outcome a lot..