from aisafety.world

 

The following is a list of live agendas in technical AI safety, updating our post from last year. It is “shallow” in the sense that 1) we are not specialists in almost any of it and that 2) we only spent about an hour on each entry. We also only use public information, so we are bound to be off by some additional factor. 

The point is to help anyone look up some of what is happening, or that thing you vaguely remember reading about; to help new researchers orient and know (some of) their options and the standing critiques; to help policy people know who to talk to for the actual information; and ideally to help funders see quickly what has already been funded and how much (but this proves to be hard).

“AI safety” means many things. We’re targeting work that intends to prevent very competent cognitive systems from having large unintended effects on the world. 

This time we also made an effort to identify work that doesn’t show up on LW/AF by trawling conferences and arXiv. Our list is not exhaustive, particularly for academic work which is unindexed and hard to discover. If we missed you or got something wrong, please comment, we will edit.

The method section is important but we put it down the bottom anyway.

Here’s a spreadsheet version also.

 

Editorial

• One commenter said we shouldn’t do this review, because the sheer length of it fools people into thinking that there’s been lots of progress. Obviously we disagree that it’s not worth doing, but be warned: the following is an exercise in quantity; activity is not the same as progress; you have to consider whether it actually helps.
   
• A smell of ozone. In the last month there has been a flurry of hopeful or despairing pieces claiming that the next base models are not a big advance, or that we hit a data wall. These often ground out in gossip, but it’s true that the next-gen base models are held up by something, maybe just inference cost.
  • The pretraining runs are bottlenecked on electrical power too. Amazon is at present not getting its nuclear datacentre.
     
• But overall it’s been a big year for capabilities despite no pretraining scaling.
  • I had forgotten long contexts were so recent; million-token windows only arrived in February. Multimodality was February. “Reasoning” was September. “Agency” was October.
  • I don’t trust benchmarks much, but on GPQA (hard science) they leapt all the way from chance to PhD-level just with post-training.
  • FrontierMath launched 6 weeks ago; o3 moved it 2% → 25%. This is about a year ahead of schedule (though 25% of the benchmark is “find this number!” International Math Olympiad/elite undergrad level.) Unlike the IMO there’s an unusual emphasis on numerical answers and computation too.
  • LLaMA-3.1 only used 0.1% synthetic pretraining data, Hunyuan-Large supposedly used 20%.
  • The revenge of factored cognition? The full o1 (descriptive name GPT-4-RL-CoT) model is uneven, but seems better at some hard things. The timing is suggestive: this new scaling dimension is being exploited now to make up for the lack of pretraining compute scaling, and so keep the excitement/investment level high. See also Claude apparently doing a little of this.
    • Moulton: “If the paths found compress well into the base model then even the test-time compute paradigm may be short lived.”
  • You can do a lot with a modern 8B model, apparently more than you could with 2020’s GPT-3-175B. This scaling of capability density will cause other problems.
  • There’s still some room for scepticism on OOD capabilities. Here’s a messy case which we don’t fully endorse.
     
• Whatever safety properties you think LLMs have are not set in stone and might be lost. For instance, previously, training them didn’t involve much RL. And currently they have at least partially faithful CoT.
   
  • The revenge of RL safety. After LLMs ate the field, the old safety theory (which thought in terms of RL) was said to be less relevant.^[1] But the training process for o1 / R1 involves more RL than RLHF does, which is pretty worrying. o3 involves more RL still.
     
• Some parts of AI safety are now mainstream.
  • So it’s hard to find all of the people who don’t post here. For instance, here’s a random ACL paper which just cites the frontier labs.
  • The AI governance pivot continues despite the SB1047 setback. MIRI is a policy org now. 80k made governance researcher its top recommended career, after 4 years of technical safety being that.
  • The AISIs seem to be doing well. The UK one survived a political transition and the US one might survive theirs. See also the proposed AI Safety Review Office.
  • Mainstreaming safety ideas has polarised things of course; an organised opposition has stood up at last. Seems like it’s not yet party-political though.
     
• Last year we noted a turn towards control instead of alignment, a turn which seems to have continued.
   
• Alignment evals with public test sets will probably be pretrained on, and as such will probably quickly stop meaning anything. Maybe you hope that it generalises from post-training anyway?
   
• Safety cases are a mix of scalable oversight and governance; if it proves hard to make a convincing safety case for a given deployment, then – unlike evals – the safety case gives an if-then decision procedure to get people to stop; or if instead real safety cases are easy to make, we can make safety cases for scalable oversight, and then win.
   
• Grietzer and Jha deprecate the word “alignment”, since it means too many things at once:
  • “P1: Avoiding takeover from emergent optimization in AI agents
  • P2: Ensuring that AI’s information processing (and/or reasoning) is intelligible to us
  • P3: Ensuring AIs are good at solving problems as specified (by user or designer)
  • P4: Ensuring AI systems enhance, and don’t erode, human agency
  • P5: Ensuring that advanced AI agents learn a human utility function
  • P6: Ensuring that AI systems lead to desirable systemic and long term outcomes”
     
• Manifestos / mini-books: A Narrow Path (ControlAI), The Compendium (Conjecture), Situational Awareness (Aschenbrenner), Introduction to AI Safety, Ethics, and Society (CAIS). 
   
• I note in passing the for-profit ~alignment companies in this list: Conjecture, Goodfire, Leap, AE Studio. (Not counting the labs.)
   
• We don’t comment on quality. Here’s one researcher’s opinion on the best work of the year (for his purposes).
   
• From December 2023: you should read Turner and Barnett alleging community failures.
   
• The term “prosaic alignment” violates one good rule of thumb: that one should in general name things in ways that the people covered would endorse.^[2] We’re calling it “iterative alignment”. We liked Kosoy’s description of the big implicit strategies used in the field, including the “incrementalist” strategy.
   
• Quite a lot of the juiciest work is in the "miscellaneous" category, suggesting that our taxonomy isn't right, or that tree data structures aren't.

 

Agendas with public outputs

1. Understand existing models

Evals 

(Figuring out how trained models behave. Arguably not itself safety work but a useful input.)

Various capability and safety evaluations

• One-sentence summary: make tools that can actually check whether a model has a certain capability or propensity. We default to low-n sampling of a vast latent space but aim to do better.
• Theory of change: keep a close eye on what capabilities are acquired when, so that frontier labs and regulators are better informed on what security measures are already necessary (and hopefully they extrapolate). You can’t regulate without them.
• See also: Deepmind’s frontier safety framework, Aether
• Which orthodox alignment problems could it help with?: none; a barometer for risk
• Target case: optimistic, pessimistic
• Broad approach: behavioural
• Some names: METR, AISI, Apollo, Epoch, Marius Hobbhahn, Mary Phuong, Beth Barnes, Owain Evans
• Estimated # FTEs: 100+
• Some outputs in 2024:
  • Evals: Evaluating Frontier Models for Dangerous Capabilities, WMDP, Situational Awareness Dataset, Introspection, HarmBench, FrontierMath, SWE-bench, Language Models Model Users, LAB-Bench
  • Agentic: AgentHarm, Details about METR’s preliminary evaluation of OpenAI o1-preview, Research Engineering (RE-)Bench, Safety training do not fully transfer to the agent setting, Evaluating frontier AI R&D capabilities of language model agents against human experts, Automation of AI R&D: Researcher Perspectives
  • Meta-discussion: We need a Science of Evals, AI Sandbagging, Sabotage Evaluations, Safetywashing, A statistical approach to model evaluations, Why Has Predicting Downstream Capabilities of Frontier AI Models with Scale Remained Elusive?
  • Tools:
    • Inspect (UK AISI, 2024)
    • Vivaria (METR, 2024)
  • Demos: Uncovering Deceptive Tendencies in Language Models: A Simulated Company AI Assistant, LLMs can Strategically Deceive Under Pressure, In-Context Scheming, Alignment Faking in LLMs
  • Other misc: An Opinionated Evals Reading List, A starter guide for evals
• Critiques: Hubinger, Hubinger, Shovelain & Mckernon, Jozdien, Casper
• Funded by: basically everyone. Google, Microsoft, Open Philanthropy, LTFF, Governments etc
• Publicly-announced funding 2023-4: N/A. Tens of millions?

 

Various red-teams

• One-sentence summary: let’s attack current models and see what they do / deliberately induce bad things on current frontier models to test out our theories / methods.
• See also: gain of function experiments (producing demos and toy models of misalignment; threat modelling (Model Organisms, Powerseeking, Apollo); steganography; Trojans (CAIS); Latent Adversarial Training; Palisade.
• Which orthodox alignment problems could it help with?: 12. A boxed AGI might exfiltrate itself by steganography, spearphishing, 4. Goals misgeneralize out of distribution
• Target case: Pessimistic
• Broad approach: Behavioural
• Some names: Anthropic Alignment Stress-Testing, Ethan Perez, Evan Hubinger, Beth Barnes, Nicholas Schiefer, Jesse Mu, David Duvenaud
• Estimated # FTEs: 10-50
• Some outputs in 2024: Many-shot Jailbreaking, HarmBench, Phishing, Sleeper Agents, Sabotage, Emergence, TrojanForge, Collusion in SAEs, Coercion, Emergence and Mitigation of Steganographic Collusion, Secret Collusion, Negative steganography results, Introducing Alignment Stress-Testing at Anthropic, Investigating reward tampering, Gray Swan’s Ultimate Jailbreaking Championship, Universal Image Jailbreak Transferability, Misleading via RLHF, WildGuard: Open One-Stop Moderation Tools, LLM-to-LLM Prompt Injection within Multi-Agent Systems, Adversaries Can Misuse Combinations of Safe Models, Alignment Faking
• Critiques: nostalgebraist contra CoT unfaithfulness kinda
• Funded by: the big labs, the government evaluators
• Publicly-announced funding 2023-4: N/A. Millions?

 

Eliciting model anomalies 

• One-sentence summary: finding weird features of current models, in a way which isn’t fishing for capabilities nor exactly red-teaming. Think inverse Scaling, SolidGoldMagikarp, Reversal curse, out of context. Not an agenda, an input.
• Theory of change: maybe anomalies and edge cases tell us something deep about the models; you need data to theorise.
• Some outputs in 2024: Mechanistically Eliciting Latent Behaviors in Language Models, Yang 2024, Balesni 2024, Feng 2024, When Do Universal Image Jailbreaks Transfer Between Vision-Language Models?, Eight methods to evaluate robust unlearning in LLMs, Connecting the Dots, Predicting Emergent Capabilities by Finetuning, On Evaluating the Durability of Safeguards for Open-weight LLMs.

 

Interpretability 

(Figuring out what a trained model is actually computing.^[3])

 

Good-enough mech interp

• One-sentence summary: try to reverse-engineer models in a principled way and use this understanding to make models safer. Break it into components (neurons, polytopes, circuits, feature directions, singular vectors, etc), interpret the components, check that your interpretation is right.
• Theory of change: Iterate towards things which don’t scheme. Most bottom-up interp agendas are not seeking a full circuit-level reconstruction of model algorithms, they're just aiming at formal models that are principled enough to root out e.g. deception. Aid alignment through ontology identification, auditing for deception and planning, targeting alignment methods, intervening in training, inference-time control to act on hypothetical real-time monitoring.
• This is a catch-all entry with lots of overlap with the rest of this section. See also scalable oversight, ambitious mech interp.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify; 7. Superintelligence can fool human supervisors; 12. A boxed AGI might exfiltrate itself.
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Chris Olah, Neel Nanda, Trenton Bricken, Samuel Marks, Nina Panickssery
• Estimated # FTEs: 100+
• Some outputs in 2024: Neel’s extremely Opinionated Annotated List v2, (unpublished) Exciting Open Problems In Mech Interp v2, A List of 45+ Mech Interp Project Ideas, Dictionary learning, Sparse Feature Circuits: Discovering and Editing Interpretable Causal Graphs in Language Models, Mechanistic Interpretability for AI Safety -- A Review
• Critiques: Summarised here: Charbel, Bushnaq, Casper, Shovelain & Mckernon, RicG, Kross, Hobbhahn
• Funded by: everyone, roughly. Frontier labs, LTFF, OpenPhil, etc.
• Publicly-announced funding 2023-4: N/A. Millions.

 

Sparse Autoencoders

• One-sentence summary: decompose the polysemantic activations of the residual stream into a sparse linear combination of monosemantic “features” which correspond to interpretable concepts.
• Theory of change: get a principled decomposition of an LLM's activation into atomic components → identify deception and other misbehaviors. Sharkey’s version has much more detail.
• See also: Bau Lab, the Local Interaction Basis
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 7. Superintelligence can fool human supervisors
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Senthooran Rajamanoharan, Arthur Conmy, Leo Gao, Neel Nanda, Connor Kissane, Lee Sharkey, Samuel Marks, David Bau, Eric Michaud, Aaron Mueller, Decode
• Estimated # FTEs: 10-50
• Some outputs in 2024: Scaling Monosemanticity, Extracting Concepts from GPT-4, Gemma Scope, JumpReLU, Dictionary learning with gated SAEs, Scaling and evaluating sparse autoencoders, Automatically Interpreting LLM Features, Interpreting Attention Layers, SAEs (usually) Transfer Between Base and Chat Models, End-to-End Sparse Dictionary Learning, Transcoders Find Interpretable LLM Feature Circuits, A is for Absorption, Sparse Feature Circuits, Function Vectors, Improving Steering Vectors by Targeting SAE Features, Matryoshka SAEs, Goodfire.
• Critiques: SAEs are highly dataset dependent, The ‘strong’ feature hypothesis could be wrong, EIS XIV: Is mechanistic interpretability about to be practically useful?, steganography, Analyzing (In)Abilities of SAEs via Formal Languages
• Funded by: everyone, roughly. Frontier labs, LTFF, OpenPhil, etc.
• Publicly-announced funding 2023-4: N/A. Millions?

 

Simplex: computational mechanics for interp

• One-sentence summary: Computational mechanics for interpretability; what structures must a system track in order to predict the future?
• Theory of change: apply the theory to SOTA AI, improve structure measures and unsupervised methods for discovering structure, ultimately operationalize safety-relevant phenomena.
• See also: Belief State Geometry
• Which orthodox alignment problems could it help with?: 9. Humans cannot be first-class parties to a superintelligent value handshake
• Target case: pessimistic
• Broad approach: cognitive, maths/philosophy
• Some names: Paul Riechers, Adam Shai
• Estimated # FTEs: 1-10
• Some outputs in 2024: Transformers represent belief state geometry in their residual stream, Open Problems in Comp Mech
• Critiques: not found
• Funded by: Survival and Flourishing Fund
• Publicly-announced funding 2023-4: $74,000

 

Pr(Ai)2R: Causal Abstractions

• One-sentence summary: develop the foundations of interpretable AI through the lens of causality and abstraction.
• Theory of change: figure out what it means for a mechanistic explanation of neural network behavior to be correct → find a mechanistic explanation of neural network behavior
• See also: causal scrubbing, locally consistent abstractions
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 7. Superintelligence can fool human supervisors
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Atticus Geiger
• Estimated # FTEs: 1-10
• Some outputs in 2024: Disentangling Factual Knowledge in GPT-2 Small, Causal Abstraction, ReFT, pyvene, defending subspace interchange
• Critiques: not found
• Funded by: Open Philanthropy
• Publicly-announced funding 2023-4: $737,000

 

Concept-based interp 

• One-sentence summary: if a bottom-up understanding of models turns out to be too hard, we might still be able to jump in at some high level of abstraction and still steer away from misaligned AGI.
• Theory of change: build tools that can output a probable and predictive representation of internal objectives or capabilities of a model, thereby enabling model editing and monitoring.
• See also: high-level interpretability, model-agnostic interpretability, Cadenza, Leap.
• Which orthodox alignment problems could it help with?:  1. Value is fragile and hard to specify, 7. Superintelligence can fool human supervisors
• Target case: optimistic / pessimistic
• Broad approach: cognitive
• Some names: Wes Gurnee, Max Tegmark, Eric J. Michaud, David Baek, Josh Engels, Walter Laurito, Kaarel Hänni
• Estimated # FTEs: 10-100
• Some outputs in 2024: Unifying Causal Representation Learning and Foundation Models, Cluster-norm for Unsupervised Probing of Knowledge, The SaTML '24 CNN Interpretability Competition, Language Models Represent Space and Time, The Geometry of Concepts: Sparse Autoencoder Feature Structure, Transformers Represent Belief State Geometry in their Residual Stream, OthelloGPT learned a bag of heuristics, Evidence of Learned Look-Ahead in a Chess-Playing Neural Network, Benchmarking Mental State Representations in Language Models, On the Origins of Linear Representations in LLMs
• Critiques: Deepmind, Not All Language Model Features Are Linear, Intricacies of Feature Geometry in Large Language Models, SAE feature geometry is outside the superposition hypothesis
• Funded by: ?
• Publicly-announced funding 2023-4: N/A

 

Leap

• One-sentence summary: research startup selling an interpretability API (model-agnostic feature viz of vision models). Aiming for data-independent (“want to extract information directly from the model with little dependence on training or test data”) and global (“mech interp isn’t going to be enough, we need holistic methods that capture gestalt”) interpretability methods.
• Theory of change: make safety tools people want to use, stress-test methods in real life, develop a strong alternative to bottom-up circuit analysis.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Jessica Rumbelow, Robbie McCorkell
• Estimated # FTEs: 1-10
• Some outputs in 2024: Why did ChatGPT say that? (PIZZA)
• Critiques: not found
• Funded by: Speedinvest, Ride Home, Open Philanthropy, EA Funds
• Publicly-announced funding 2023-4: $425,000

 

EleutherAI interp

• One-sentence summary: tools to investigate questions like path dependence of training.
• Theory of change: make amazing tools to push forward the frontier of interpretability.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify
• Target case: optimistic-case
• Broad approach: cognitive
• Some names: Nora Belrose, Brennan Dury, David Johnston, Alex Mallen, Lucia Quirke, Adam Scherlis
• Estimated # FTEs: 6
• Some outputs in 2024: Neural Networks Learn Statistics of Increasing Complexity, Automatically Interpreting Millions of Features in Large Language Models, Refusal in LLMs is an Affine Function
• Critiques: not found
• Funded by: CoreWeave, Hugging Face, Open Philanthropy, Mozilla, Omidyar Network, Stability AI, Lambda Labs
• Publicly-announced funding 2023-4: $2,642,273

 

Understand learning

(Figuring out how the model figured it out.)

 

Timaeus: Developmental interpretability

• One-sentence summary: Build tools for detecting, locating, and interpreting key moments (saddle-to-saddle dynamics, groks) that govern training and in-context learning in models.
  • build an idealized model of NNs, measure high-level phenomena, derive interesting predictions about real models. Apply these measures to real models: "pretend they're idealized, then apply the high-level measurements you'd apply to idealized models, then see if you can interpret the results".
• Theory of change: structures forming in neural networks can leave traces we can interpret to figure out where and how that structure is implemented. This could automate interpretability. It may be hopeless to intervene at the end of the learning process, so we want to catch and prevent deceptiveness and other dangerous capabilities and values as early as possible.
• See also: singular learning theory, computational mechanics, complexity.
• Which orthodox alignment problems could it help with?: 4. Goals misgeneralize out of distribution
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Jesse Hoogland, George Wang, Daniel Murfet, Stan van Wingerden, Alexander Gietelink Oldenziel
• Estimated # FTEs: 10+?
• Some outputs in 2024: Stagewise Development in Neural Networks, Differentiation and Specialization of Attention Heads via the Refined Local Learning Coefficient, Higher-order degeneracy and error-correction, Feature Targeted LLC Estimation Distinguishes SAE Features from Random Directions.
• See also: Dialogue introduction to SLT, SLT exercises
• Critiques: Timaeus, Erdil, Skalse
• Funded by: Manifund, Survival and Flourishing Fund, EA Funds
• Publicly-announced funding 2023-4: $700,050

 

Saxe lab 

• One-sentence summary: toy models (e.g. of induction heads) to understand learning in interesting limiting examples; only part of their work is safety related.
• Theory of change: study interpretability and learning in DL (for bio insights, unrelated to AI) → someone else uses this work to do something safety related
• Which orthodox alignment problems could it help with?: We don’t know how to determine an AGI’s goals or values
• Target case: optimistic?
• Broad approach: cognitive
• Some names: Andrew Saxe, Basile Confavreux, Erin Grant, Stefano Sarao Mannelli, Tyler Boyd-Meredith, Victor Pedrosa
• Estimated # FTEs: 10-50
• Some outputs in 2024: Tilting the Odds at the Lottery, What needs to go right for an induction head?, Why Do Animals Need Shaping?, When Representations Align, Understanding Unimodal Bias in Multimodal Deep Linear Networks, Meta-Learning Strategies through Value Maximization in Neural Networks
• Critiques: none found.
• Funded by: Sir Henry Dale Fellowship, Wellcome-Beit Prize, CIFAR, Schmidt Science Polymath Program
• Publicly-announced funding 2023-4: >£25,000

 

 

See also

• Influence functions
• Memorization in LMs as a Multifaceted Phenomenon
• What Do Learning Dynamics Reveal About Generalization in LLM Reasoning?

 

2. Control the thing

(figure out how to predictably detect and quash misbehaviour)

 

Iterative alignment 

• One-sentence summary: nudging base models by optimising their output. (RLHF, Constitutional, DPO, SFT, HHH, RLAIF.) Non-agenda.
• Theory of change (imputed): things are generally smooth, relevant capabilities are harder than alignment, assume no mesaoptimisers, that zero-shot deception is hard, assume a fundamentally humanish ontology is learned, assume no simulated agents, assume that noise in the data means that human preferences are not ruled out, assume that alignment is a superficial feature. Assume that task reliability is enough (that tuning for what we want will also get us avoidance of what we don't want). Maybe assume that thoughts are translucent.
• See also: prosaic alignment, incrementalism, alignment-by-default
• Which orthodox alignment problems could it help with?: this agenda implicitly questions this framing
• Target case: optimistic-case
• Broad approach: engineering
• Some names: post-training teams at most labs. Beren Millidge.
• Estimated # FTEs: 1000+
• Some outputs in 2024: Deliberative Alignment (Constitutional AI, redux), REINFORCE, WARP, Catastrophic Goodhart, RLCHF, E-RLHF, NLHF, IPO, KTO, Why Don't We Just... Shoggoth+Face+Paraphraser?, Towards a Unified View of Preference Learning for Large Language Models: A Survey, Rule-Based Rewards, Reward Model Ensembles, Guardrails, ProgressGym, What are human values, and how do we align AI to them?
• Critique: hoo boy, Open Problems with RLHF, neo-Arrow, Challenges of Partial Observability in RLHF, Jozdien kinda, RLHF is the worst possible thing, Fundamental Limitations of Alignment in Large Language Models
• Funded by: most of the industry
• Publicly-announced funding 2023-4: N/A

 

Control evaluations

• One-sentence summary: don’t evaluate the model, evaluate the humans / organisation / deployment method instead: assess the risk of a particular protocol for deploying your model in a particular scenario, by silently swapping in an intentionally misaligned model. Play out the scenario in sim until 1) a catastrophe occurs, 2) your protocol confidently spots the red team model, or 3) the scenario ends without catastrophe. Also do adversarial evaluation (monitoring untrusted model outputs with both trusted and untrusted models). Predecessor.
• Theory of change: prevent high-stakes failures by automating risk assessment of eval and deployment plans.
• See also: safety cases.
• Which orthodox alignment problems could it help with?: 12. A boxed AGI might exfiltrate itself by steganography, spearphishing
• Target case: worst-case
• Broad approach: engineering / behavioural
• Some names: Redwood, Buck Shlegeris, Ryan Greenblatt, Kshitij Sachan, Alex Mallen
• Estimated # FTEs: 9
• Some outputs in 2024: AI Control, Subversion Strategy Eval, sequence, toy models, notes
• Critiques: of org in general, Jozdien
• Funded by: Open Philanthropy, Survival and Flourishing Fund
• Publicly-announced funding 2023-4: $6,398,000

 

Guaranteed safe AI

• One-sentence summary: This is a multi-team agenda with some big differences. Something like: formally model the behavior of cyber-physical systems, define precise constraints on what actions can occur, and require AIs to provide safety proofs for their recommended actions (correctness and uniqueness). Get AI to (assist in) building a detailed world simulation which humans understand, elicit preferences over future states from humans, verify^[4] that the AI adheres to coarse preferences^[5]; plan using this world model and preferences.
• Theory of change: make a formal verification system that can act as an intermediary between a human user and a potentially dangerous system and only let provably safe actions through. Notable for not requiring that we solve ELK. Does require that we solve ontology though.
• See also: Bengio’s AI Scientist, Safeguarded AI, Open Agency Architecture, SLES, Atlas Computing, program synthesis, Tenenbaum.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 4. Goals misgeneralize out of distribution, 7. Superintelligence can fool human supervisors, 9. Humans cannot be first-class parties to a superintelligent value handshake, 12. A boxed AGI might exfiltrate itself by steganography, spearphishing
• Target case: (nearly) worst-case
• Broad approach: cognitive
• Some names: Yoshua Bengio, Max Tegmark, Steve Omohundro, David "davidad" Dalrymple, Joar Skalse, Stuart Russell, Ohad Kammar, Alessandro Abate, Fabio Zanassi
• Estimated # FTEs: 10-50
• Some outputs in 2024: Bayesian oracle, Towards Guaranteed Safe AI, ARIA Safeguarded AI Programme Thesis
• Critiques: Zvi, Gleave^[6], Dickson
• Funded by: UK government, OpenPhil, Survival and Flourishing Fund, Mila / CIFAR
• Publicly-announced funding 2023-4: >$10m

 

Assistance games / reward learning 

• One-sentence summary: reorient the general thrust of AI research towards provably beneficial systems.
• Theory of change: understand what kinds of things can go wrong when humans are directly involved in training a model → build tools that make it easier for a model to learn what humans want it to learn.
• See also RLHF and recursive reward modelling, the industrialised forms.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 10. Humanlike minds/goals are not necessarily safe
• Target case: varies
• Broad approach: engineering, cognitive
• Some names: Joar Skalse, Anca Dragan, Stuart Russell, David Krueger
• Estimated # FTEs: 10+
• Some outputs in 2024: The Perils of Optimizing Learned Reward Functions, Correlated Proxies: A New Definition and Improved Mitigation for Reward Hacking, Changing and Influenceable Reward Functions, RL, but don't do anything I wouldn't do, Interpreting Preference Models w/ Sparse Autoencoders
• Critiques: nice summary of historical problem statements
• Funded by: EA funds, Open Philanthropy. Survival and Flourishing Fund, Manifund
• Publicly-announced funding 2023-4: >$1500

 

Social-instinct AGI

• One-sentence summary: Social and moral instincts are (partly) implemented in particular hardwired brain circuitry; let's figure out what those circuits are and how they work; this will involve symbol grounding. Newest iteration of a sustained and novel agenda.
• Theory of change: Fairly direct alignment via changing training to reflect actual human reward. Get actual data about (reward, training data) → (human values) to help with theorising this map in AIs; "understand human social instincts, and then maybe adapt some aspects of those for AGIs, presumably in conjunction with other non-biological ingredients".
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify.
• Target case: worst-case
• Broad approach: cognitive
• Some names: Steve Byrnes
• Estimated # FTEs: 1
• Some outputs in 2024: My AGI safety research—2024 review, ’25 plans, Neuroscience of human social instincts: a sketch, Intuitive Self Models
• Critiques: Not found.
• Funded by: Astera Institute.

 

Prevent deception and scheming 

(through methods besides mechanistic interpretability)
 

Mechanistic anomaly detection

• One-sentence summary: understand what an LLM’s normal (~benign) functioning looks like and detect divergence from this, even if we don't understand the exact nature of that divergence.
• Theory of change: build models of normal functioning → find and flag behaviors that look unusual → match the unusual behaviors to problematic outcomes or shut it down outright.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors or 8. Superintelligence can hack software supervisors
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Nora Belrose, Erik Jenner
• Estimated # FTEs: 1-10
• Some outputs in 2024: Password-locked model capability elicitation, Towards a Law of Iterated Expectations for Heuristic Estimators, Eleuther research update, Concrete empirical research projects, Mack and Turner
• Critiques: critique of past agenda, contra counting arguments?
• Funded by: ARC, Eleuther funders
• Publicly-announced funding 2023-4: some fraction of Eleuther’s $2,642,273.

 

Cadenza

• One-sentence summary: now focusing on developing robust white-box dishonesty-detection methods for LLM's and model evals. Previously working on concept-based interpretability.
• Theory of change: Build and benchmark strong white-box methods to assess trustworthiness and increase transparency of models, and encourage open releases / evals from labs by demonstrating the benefits and necessity of such methods.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors or 8. Superintelligence can hack software supervisors
• Target case: pessimistic / worst-case
• Broad approach: cognitive
• Some names: Kieron Kretschmar, Walter Laurito, Sharan Maiya, Grégoire Dhimoïla
• #FTEs: 3
• Some outputs in 2024: Cluster-Norm for Unsupervised Probing of Knowledge
• Funded by: self-funded / volunteers
• Publicly-announced funding 2023-4: none.

 

Faithful CoT through separation and paraphrasing 

• One-sentence summary: shoggoth/face + paraphraser. Avoid giving the model incentives to hide its deceptive cognition or steganography. You could do this with an o1-like design, where the base model is not optimised for agency or alignment.
• Theory of change: keep the CoT unoptimised and informative so that it can be used for control. Make it so we can see (most) misalignment in the hidden CoT.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors
• Target case: pessimistic
• Broad approach: engineering
• Some names: Daniel Kokotajlo, AI Futures Project
• Estimated # FTEs: 1
• Some outputs in 2024: Why don’t we just…
• Critiques: Demski
• Funded by: SFF
• Publicly-announced funding 2023-4: $505,000 for the AI Futures Project

 

Indirect deception monitoring 

• One-sentence summary: build tools to find whether a model will misbehave in high stakes circumstances by looking at it in testable circumstances. This bucket catches work on lie classifiers, sycophancy, Scaling Trends For Deception.
• Theory of change: maybe we can catch a misaligned model by observing dozens of superficially unrelated parts, or tricking it into self-reporting, or by building the equivalent of brain scans.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors^[7]
• Target case: pessimistic
• Broad approach: engineering
• Some names: Anthropic, Monte MacDiarmid, Meg Tong, Mrinank Sharma, Owain Evans, Colognese
• Estimated # FTEs: 1-10
• Some outputs in 2024: Simple probes can catch sleeper agents, Sandbag Detection through Noise Injection, Hidden in Plain Text: Emergence & Mitigation of Steganographic Collusion in LLMs
• Critique (of related ideas): 1%, contra counting arguments
• Funded by: Anthropic funders
• Publicly-announced funding 2023-4: N/A

 

See also “retarget the search”.

 

Surgical model edits

(interventions on model internals)
 

Activation engineering 

• One-sentence summary: a sort of interpretable finetuning. Let's see if we can programmatically modify activations to steer outputs towards what we want, in a way that generalises across models and topics. As much an intervention-based approach to interpretability as about control.
• Theory of change: test interpretability theories; find new insights from interpretable causal interventions on representations. Or: build more stuff to stack on top of finetuning. Slightly encourage the model to be nice, add one more layer of defence to our bundle of partial alignment methods.
• See also: representation engineering, SAEs.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 4. Goals misgeneralize out of distribution, 5. Instrumental convergence, 7. Superintelligence can fool human supervisors, 9. Humans cannot be first-class parties to a superintelligent value handshake
• Target case: pessimistic
• Broad approach: engineering/cognitive
• Some names: Jan Wehner, Alex Turner, Nina Panickssery, Marc Carauleanu, Collin Burns, Andrew Mack, Pedro Freire, Joseph Miller, Andy Zou, Andy Arditi, Ole Jorgensen.
• Estimated # FTEs: 10+?
• Some outputs in 2024: Circuit Breakers, An Introduction to Representation Engineering - an activation-based paradigm for controlling LLMs, Steering Llama-2 with contrastive activation additions, Simple probes can catch sleeper agents, Refusal in LLMs is mediated by a single direction, Mechanistically Eliciting Latent Behaviors in Language Models, Uncovering Latent Human Wellbeing in Language Model Embeddings, Goodfire, LatentQA, SelfIE, Mack and Turner, Obfuscated Activations Bypass LLM Latent-Space Defenses
• Critiques: of ROME, open question thread for theory of impact, A Sober Look at Steering Vectors for LLMs
• Funded by: various, including EA funds
• Publicly-announced funding 2023-4: N/A
   

See also unlearning.

 

Goal robustness 

(Figuring out how to keep the model doing what it has been doing so far.)

 

Mild optimisation

• One-sentence summary: avoid Goodharting by getting AI to satisfice rather than maximise.
• Theory of change: if we fail to exactly nail down the preferences for a superintelligent agent we die to Goodharting → shift from maximising to satisficing in the agent’s utility function → we get a nonzero share of the lightcone as opposed to zero; also, moonshot at this being the recipe for fully aligned AI.
• Which orthodox alignment problems could it help with?: 4. Goals misgeneralize out of distribution
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Jobst Heitzig, Simon Fischer, Jessica Taylor
• Estimated # FTEs: ?
• Some outputs in 2024: How to safely use an optimizer, Aspiration-based designs sequence, Non-maximizing policies that fulfill multi-criterion aspirations in expectation
• Critiques: Dearnaley
• Funded by: ?
• Publicly-announced funding 2023-4: N/A

 

3. Safety by design 

(Figuring out how to avoid using deep learning)

 

Conjecture: Cognitive Software 

• One-sentence summary: make tools to write, execute and deploy cognitive programs; compose these into large, powerful systems that do what we want; make a training procedure that lets us understand what the model does and does not know at each step; finally, partially emulate human reasoning.
• Theory of change: train a bounded tool AI to promote AI benefits without needing unbounded AIs. If the AI uses similar heuristics to us, it should default to not being extreme.
• Which orthodox alignment problems could it help with?: 2. Corrigibility is anti-natural, 5. Instrumental convergence
• Target case: pessimistic
• Broad approach: engineering, cognitive
• Some names: Connor Leahy, Gabriel Alfour, Adam Shimi
• Estimated # FTEs: 1-10
• Some outputs in 2024: “We have already done a fair amount of work on Vertical Scaling (Phase 4) and Cognitive Emulation (Phase 5), and lots of work of Phase 1 and Phase 2 happens in parallel.”. The Tactics programming language/framework. Still working on cognitive emulations, A Roadmap for Cognitive Software and A Humanist Future of AI
• See also AI chains.
• Critiques: Scher, Samin, org
• Funded by: Plural Platform, Metaplanet, “Others Others”, Firestreak Ventures, EA Funds in 2022
• Publicly-announced funding 2023-4: N/A.

 

See also parts of Guaranteed Safe AI involving world models and program synthesis.

 

4. Make AI solve it

(Figuring out how models might help with figuring it out.)

 

Scalable oversight

(Figuring out how to get AI to help humans supervise models.)

 

OpenAI Superalignment  Automated Alignment Research

• One-sentence summary: be ready to align a human-level automated alignment researcher.
• Theory of change: get AI to help us with scalable oversight, critiques, recursive reward modelling, and so solve inner alignment.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify or 8. Superintelligence can hack software supervisors
• Target case: optimistic
• Broad approach: behavioural
• Some names: Jan Leike, Elriggs, Jacques Thibodeau
• Estimated # FTEs: 10-50
• Some outputs in 2024: Prover-verifier games
• Critiques: Zvi, Christiano, MIRI, Steiner, Ladish, Wentworth, Gao
• Funded by: lab funders
• Publicly-announced funding 2023-4: N/A

 

Weak-to-strong generalization

• One-sentence summary: use weaker models to supervise and provide a feedback signal to stronger models.
• Theory of change: find techniques that do better than RLHF at supervising superior models → track whether these techniques fail as capabilities increase further
• Which orthodox alignment problems could it help with?: 8. Superintelligence can hack software supervisors
• Target case: optimistic
• Broad approach: engineering
• Some names: Jan Leike, Collin Burns, Nora Belrose, Zachary Kenton, Noah Siegel, János Kramár, Noah Goodman, Rohin Shah
• Estimated # FTEs: 10-50
• Some outputs in 2024: Easy-to-Hard Generalization, Balancing Label Quantity and Quality for Scalable Elicitation, The Unreasonable Effectiveness of Easy Training Data, On scalable oversight with weak LLMs judging strong LLMs, Your Weak LLM is Secretly a Strong Teacher for Alignment
• Critiques: Nostalgebraist
• Funded by: lab funders, Eleuther funders
• Publicly-announced funding 2023-4: N/A.

 

Supervising AIs improving AIs

• One-sentence summary: scalable tracking of behavioural drift, benchmarks for self-modification.
• Theory of change: early models train ~only on human data while later models also train on early model outputs, which leads to early model problems cascading; left unchecked this will likely cause problems, so we need a better iterative improvement process.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors or 8. Superintelligence can hack software supervisors
• Target case: pessimistic
• Broad approach: behavioural
• Some names: Roman Engeler, Akbir Khan, Ethan Perez
• Estimated # FTEs: 1-10
• Some outputs in 2024: Weak LLMs judging strong LLMs, Scalable AI Safety via Doubly-Efficient Debate, Debating with More Persuasive LLMs Leads to More Truthful Answers, Prover-Verifier Games Improve Legibility of LLM Output, LLM Critics Help Catch LLM Bugs
• Critiques: Automation collapse
• Funded by: lab funders
• Publicly-announced funding 2023-4: N/A

 

Cyborgism

• One-sentence summary: Train human-plus-LLM alignment researchers: with humans in the loop and without outsourcing to autonomous agents. More than that, an active attitude towards risk assessment of AI-based AI alignment.
• Theory of change: Cognitive prosthetics to amplify human capability and preserve values. More alignment research per year and dollar.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors, 9. Humans cannot be first-class parties to a superintelligent value handshake
• Target case: pessimistic
• Broad approach: engineering, behavioural
• Some names: Janus, Nicholas Kees Dupuis,
• Estimated # FTEs: ?
• Some outputs in 2024: Pantheon Interface
• Critiques: self
• Funded by: ?
• Publicly-announced funding 2023-4: N/A.

 

Transluce

• One-sentence summary: Make open AI tools to explain AIs, including agents. E.g. feature descriptions for neuron activation patterns; an interface for steering these features; behavior elicitation agent that searches for user-specified behaviors from frontier models
• Theory of change: Introducing Transluce; improve interp and evals in public and get invited to improve lab processes.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors or 8. Superintelligence can hack software supervisors
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Jacob Steinhardt, Sarah Schwettmann
• Estimated # FTEs: 6
• Some outputs in 2024: Eliciting Language Model Behaviors with Investigator Agents, Monitor: An AI-Driven Observability Interface, Scaling Automatic Neuron Description
• Critiques: not found.
• Funded by: Schmidt Sciences, Halcyon Futures, John Schulman, Wojciech Zaremba.
• Publicly-announced funding 2023-4: N/A

 

Task decomp

Recursive reward modelling is supposedly not dead but instead one of the tools OpenAI will build. Another line tries to make something honest out of chain of thought / tree of thought.
 

Adversarial 

Deepmind Scalable Alignment

• One-sentence summary: “make highly capable agents do what humans want, even when it is difficult for humans to know what that is”.
• Theory of change: [“Give humans help in supervising strong agents”] + [“Align explanations with the true reasoning process of the agent”] + [“Red team models to exhibit failure modes that don’t occur in normal use”] are necessary but probably not sufficient for safe AGI.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 7. Superintelligence can fool human supervisors
• Target case: worst-case
• Broad approach: engineering, cognitive
• Some names: Rohin Shah, Jonah Brown-Cohen, Georgios Piliouras
• Estimated # FTEs: ?
• Some outputs in 2024: Progress update - Doubly Efficient Debate, Inference-only Experiments
• Critiques: The limits of AI safety via debate
• Funded by: Google
• Publicly-announced funding 2023-4: N/A

 

Anthropic: Bowman/Perez

• One-sentence summary: scalable oversight of truthfulness: is it possible to develop training methods that incentivize truthfulness even when humans are unable to directly judge the correctness of a model’s output? / scalable benchmarking how to measure (proxies for) speculative capabilities like situational awareness.
• Theory of change: current methods like RLHF will falter as frontier AI tackles harder and harder questions → we need to build tools that help human overseers continue steering AI → let’s develop theory on what approaches might scale → let’s build the tools.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors
• Target case: pessimistic
• Broad approach: behavioural
• Some names: Sam Bowman, Ethan Perez, He He, Mengye Ren
• Estimated # FTEs: ?
• Some outputs in 2024: Debating with more persuasive LLMs Leads to More Truthful Answers, Sleeper Agents
• Critiques: obfuscation, local inadequacy?, it doesn’t work right now (2022)
• Funded by: mostly Anthropic’s investors
• Publicly-announced funding 2023-4: N/A.

 

Latent adversarial training

• One-sentence summary: uncover dangerous properties like scheming in a target model by having another model manipulate its state adversarially.
• Theory of change: automate red-teaming, thus uncover bad goals in a test environment rather than after deployment.
• See also red-teaming, concept-based interp, Algorithmic Alignment Group.
• Some names: Stephen Casper, Dylan Hadfield-Menell
• Estimated #FTEs: 1-10
• Some outputs in 2024: LAT Improves Robustness to Persistent Harmful Behaviors in LLMs, LAT Defends Against Unforeseen Failure Modes
• Critiques: not found
• Funded by: ?
• Publicly-announced funding 2023-4: N/A

 

See also FAR (below). See also obfuscated activations.

 

5. Theory 

(Figuring out what we need to figure out, and then doing that.)
 

The Learning-Theoretic Agenda 

• One-sentence summary: try to formalise a more realistic agent, understand what it means for it to be aligned with us, translate between its ontology and ours, and produce desiderata for a training setup that points at coherent AGIs similar to our model of an aligned agent.
• Theory of change: fix formal epistemology to work out how to avoid deep training problems.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 9. Humans cannot be first-class parties to a superintelligent value handshake
• Target case: worst-case
• Broad approach: cognitive
• Some names: Vanessa Kosoy, Diffractor
• Estimated # FTEs: 3
• Some outputs in 2024: Linear infra-Bayesian Bandits, Time complexity for deterministic string machines, Infra-Bayesian Haggling, Quantum Mechanics in Infra-Bayesian Physicalism. Intro lectures
• Critiques: Matolcsi
• Funded by: EA Funds, Survival and Flourishing Fund, ARIA^[8]
• Publicly-announced funding 2023-4: $123,000

 

Question-answer counterfactual intervals (QACI)

• One-sentence summary: Get the thing to work out its own objective function (a la HCH).
• Theory of change: make a fully formalized goal such that a computationally unbounded oracle with it would take desirable actions; and design a computationally bounded AI which is good enough to take satisfactory actions.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 4. Goals misgeneralize out of distribution
• Target case: worst-case
• Broad approach: cognitive
• Some names: Tamsin Leake, Julia Persson
• Estimated # FTEs: 1-10
• Some outputs in 2024: Epistemic states as a potential benign prior
• Critiques: none found.
• Funded by: Survival and Flourishing Fund
• Publicly-announced funding 2023-4: $55,000

 

Understanding agency 

(Figuring out ‘what even is an agent’ and how it might be linked to causality.)

 

Causal Incentives 

• One-sentence intro: use causal models to understand agents. Originally this was to design environments where they lack the incentive to defect, hence the name.
• Theory of change: as above.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 4. Goals misgeneralize out of distribution
• Target case: pessimistic
• Broad approach: behavioural/maths/philosophy
• Some names: Tom Everitt, Matt McDermott, Francis Rhys Ward, Jonathan Richens, Ryan Carey
• Estimated # FTEs: 1-10
• Some outputs in 2024: Robust agents learn causal world models, Measuring Goal-Directedness
• Critiques: not found.
• Funded by: EA funds, Manifund, Deepmind
• Publicly-announced funding 2023-4: Some tacitly from DM

 

Hierarchical agency

• One-sentence summary: Develop formal models of subagents and superagents, use the model to specify desirable properties of whole-part relations (e.g. how to prevent human-friendly parts getting wiped out).
• Theory of change: Solve self-unalignment, prevent destructive alignment, allow for scalable noncoercion.
• See also Alignment of Complex Systems, multi-scale alignment, scale-free theories of agency, active inference, bounded rationality.
• Which orthodox alignment problems could it help with?: 5. Instrumental convergence, 9. Humans cannot be first-class parties to a superintelligent value handshake
• Target case: pessimistic
• Broad approach: cognitive
• Some names: Jan Kulveit, Roman Leventov, Scott Viteri, Michael Levin, Ivan Vendrov, Richard Ngo
• Estimated # FTEs: 1-10
• Some outputs in 2024:  Hierarchical Agency: A Missing Piece in AI Alignment, “How do parts form a whole?”, Free-energy equilibria, Two conceptions of active inference,  generalised active inference
• Critiques: indirect
• Funded by: SFF
• Publicly-announced funding 2023-4: N/A.

 

(Descendents of) shard theory

• One-sentence summary: model the internal components of agents, use humans as a model organism of AGI (humans seem made up of shards and so might AI). Now more of an empirical ML agenda.
• Theory of change: If policies are controlled by an ensemble of influences ("shards"), consider which training approaches increase the chance that human-friendly shards substantially influence that ensemble.
• See also Activation Engineering, Reward bases, gradient routing.
• Which orthodox alignment problems could it help with?: 2. Corrigibility is anti-natural
• Target case: optimistic
• Broad approach: cognitive
• Some names: Alex Turner, Quintin Pope, Alex Cloud, Jacob Goldman-Wetzler, Evzen Wybitul, Joseph Miller
• Estimated # FTEs: 1-10
• Some outputs in 2024: Intrinsic Power-Seeking: AI Might Seek Power for Power’s Sake, Shard Theory - is it true for humans?,  Gradient routing
• Critiques: Chan, Soares, Miller, Lang, Kwa, Herd, Rishika, tailcalled
• Funded by: Open Philanthropy (via funding of MATS), EA funds, Manifund
• Publicly-announced funding 2023-4: >$581,458

 

Dovetail research

• One-sentence summary: Formalize key ideas (“structure”, “agency”, etc) mathematically
• Theory of change: generalize theorems → formalize agent foundations concepts like the agent structure problem → hopefully assist other projects through increased understanding
• Which orthodox alignment problems could it help with?: "intended to help make progress on understanding the nature of the problems through formalization, so that they can be avoided or postponed, or more effectively solved by other research agenda."
• Target case: pessimistic
• Broad approach: maths/philosophy
• Some names: Alex Altair, Alfred Harwood, Daniel C, Dalcy K, José Pedro Faustino
• Estimated # FTEs: 2
• Some outputs in 2024: mostly exposition but it’s early days. Formalization.
• Critiques: not found
• Funded by: LTFF
• Publicly-announced funding 2023-4: $60,000

 

boundaries / membranes

• One-sentence summary: Formalise one piece of morality: the causal separation between agents and their environment. See also Open Agency Architecture.
• Theory of change: Formalise (part of) morality/safety, solve outer alignment.
• Which orthodox alignment problems could it help with?: 9. Humans cannot be first-class parties to a superintelligent value handshake
• Target case: pessimistic
• Broad approach: maths/philosophy
• Some names: Chris Lakin, Andrew Critch, davidad, Evan Miyazono, Manuel Baltieri
• Estimated # FTEs: 0.5
• Some outputs in 2024: Chris posts
• Critiques: not found
• Funded by: ?
• Publicly-announced funding 2023-4: N/A

 

Understanding optimisation

• One-sentence summary: what is “optimisation power” (formally), how do we build tools that track it, and how relevant is any of this anyway. See also developmental interpretability.
• Theory of change: existing theories are either rigorous OR good at capturing what we mean; let’s find one that is both → use the concept to build a better understanding of how and when an AI might get more optimisation power. Would be nice if we could detect or rule out speculative stuff like gradient hacking too.
• Which orthodox alignment problems could it help with?: 5. Instrumental convergence
• Target case: pessimistic
• Broad approach: maths/philosophy
• Some names: Alex Flint, Guillaume Corlouer, Nicolas Macé
• Estimated # FTEs: 1-10
• Some outputs in 2024: Degeneracies are sticky for SGD
• Critiques: not found.
• Funded by: CLR, EA funds
• Publicly-announced funding 2023-4: N/A.

 

Corrigibility

(Figuring out how we get superintelligent agents to keep listening to us. Arguably scalable oversight are ~atheoretical approaches to this.)

Behavior alignment theory 

• One-sentence summary: predict properties of AGI (e.g. powerseeking) with formal models. Corrigibility as the opposite of powerseeking.
• Theory of change: figure out hypotheses about properties powerful agents will have → attempt to rigorously prove under what conditions the hypotheses hold, test them when feasible.
• See also this, EJT, Dupuis, Holtman.
• Which orthodox alignment problems could it help with?: 2. Corrigibility is anti-natural, 5. Instrumental convergence
• Target case: worst-case
• Broad approach: maths/philosophy
• Some names: Michael K. Cohen, Max Harms/Raelifin, John Wentworth, David Lorell, Elliott Thornley
• Estimated # FTEs: 1-10
• Some outputs in 2024: CAST: Corrigibility As Singular Target, A Shutdown Problem Proposal, The Shutdown Problem: Incomplete Preferences as a Solution
• Critiques: none found.
• Funded by: ?
• Publicly-announced funding 2023-4:  ?

 

Ontology Identification 

(Figuring out how AI agents think about the world and how to get superintelligent agents to tell us what they know. Much of interpretability is incidentally aiming at this. See also latent knowledge.)

 

Natural abstractions 

• One-sentence summary: check the hypothesis that our universe “abstracts well” and that many cognitive systems learn to use similar abstractions. Check if features correspond to small causal diagrams corresponding to linguistic constructions.
• Theory of change: find all possible abstractions of a given computation → translate them into human-readable language → identify useful ones like deception → intervene when a model is using it. Also develop theory for interp more broadly; more mathematical analysis. Also maybe enables “retargeting the search” (direct training away from things we don’t want).
• See also: causal abstractions, representational alignment, convergent abstractions
• Which orthodox alignment problems could it help with?: 5. Instrumental convergence, 7. Superintelligence can fool human supervisors, 9. Humans cannot be first-class parties to a superintelligent value handshake
• Target case: worst-case
• Broad approach: cognitive
• Some names: John Wentworth, Paul Colognese, David Lorrell, Sam Eisenstat
• Estimated # FTEs: 1-10
• Some outputs in 2024: Natural Latents: The Concepts, Natural Latents Are Not Robust To Tiny Mixtures, Towards a Less Bullshit Model of Semantics
• Critiques: Chan et al, Soto, Harwood, Soares
• Funded by: EA Funds
• Publicly-announced funding 2023-4: N/A?

 

 

ARC Theory: Formalizing heuristic arguments  

• One-sentence summary: mech interp plus formal verification. Formalize mechanistic explanations of neural network behavior, so to predict when novel input may lead to anomalous behavior.
• Theory of change: find a scalable method to predict when any model will act up. Very good coverage of the group’s general approach here.
• See also: ELK, mechanistic anomaly detection.
• Which orthodox alignment problems could it help with?: 4. Goals misgeneralize out of distribution, 8. Superintelligence can hack software supervisors
• Target case: worst-case
• Broad approach: cognitive, maths/philosophy
• Some names: Jacob Hilton, Mark Xu, Eric Neyman, Dávid Matolcsi, Victor Lecomte, George Robinson
• Estimated # FTEs: 1-10
• Some outputs in 2024: Estimating tail risk, Towards a Law of Iterated Expectations for Heuristic Estimators, Probabilities of rare outputs, Bird’s eye overview, Formal verification
• Critiques: Vaintrob. Clarification, alternative formulation
• Funded by: FLI, SFF
• Publicly-announced funding 2023-4: $1.7m

 

Understand cooperation

(Figuring out how inter-AI and AI/human game theory should or would work.)

 

Pluralistic alignment / collective intelligence

• One-sentence summary: align AI to broader values / use AI to understand and improve coordination among humans.
• Theory of change: focus on getting more people and values represented.
• See also: AI Objectives Institute, Lightcone Chord, Intelligent Cooperation, Meaning Alignment Institute. See also AI-AI Bias.
• Which orthodox alignment problems could it help with?: 11. Someone else will deploy unsafe superintelligence first, 13. Fair, sane pivotal processes
• Target case: optimistic
• Broad approach: engineering?
• Some names: Yejin Choi, Seth Lazar, Nouha Dziri, Deger Turan, Ivan Vendrov, Jacob Lagerros
• Estimated # FTEs: 10-50
• Some outputs in 2024: roadmap, workshop
• Critiques: none found
• Funded by: Foresight, Midjourney?
• Publicly-announced funding 2023-4: N/A

 

Center on Long-Term Risk (CLR) 

• One-sentence summary: future agents creating s-risks is the worst of all possible problems, we should avoid that.
• Theory of change: make present and future AIs inherently cooperative via improving theories of cooperation and measuring properties related to catastrophic conflict.
• See also: FOCAL
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 3. Pivotal processes require dangerous capabilities, 4. Goals misgeneralize out of distribution
• Target case: worst-case
• Broad approach: maths/philosophy
• Some names: Jesse Clifton, Caspar Oesterheld, Anthony DiGiovanni, Maxime Riché, Mia Taylor
• Estimated # FTEs: 10-50
• Some outputs in 2024: Measurement Research Agenda, Computing Optimal Commitments to Strategies and Outcome-conditional Utility Transfers
• Critiques: none found
• Funded by: Polaris Ventures, Survival and Flourishing Fund, Community Foundation Ireland
• Publicly-announced funding 2023-4: $1,327,000

 

FOCAL 

• One-sentence summary: make sure advanced AI uses what we regard as proper game theory.
• Theory of change: (1) keep the pre-superintelligence world sane by making AIs more cooperative; (2) remain integrated in the academic world, collaborate with academics on various topics and encourage their collaboration on x-risk; (3) hope that work on “game theory for AIs”, which emphasises cooperation and benefit to humans, has framing & founder effects on the new academic field.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 10. Humanlike minds/goals are not necessarily safe
• Target case: pessimistic
• Broad approach: maths/philosophy
• Some names: Vincent Conitzer, Caspar Oesterheld, Vojta Kovarik
• Estimated # FTEs: 1-10
• Some outputs in 2024: Foundations of Cooperative AI, A dataset of questions on decision-theoretic reasoning in Newcomb-like problems, Why should we ever automate moral decision making?, Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback
• Critiques: Self-submitted: “our theory of change is not clearly relevant to superintelligent AI”.
• Funded by: Cooperative AI Foundation, Polaris Ventures
• Publicly-announced funding 2023-4: N/A

 

Alternatives to utility theory in alignment

• Some disparate papers we noticed pointing in the same direction:
  • Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback
  • Beyond Preferences in AI Alignment
  • Disagreement, AI alignment, and bargaining
  • Game Theory without Argmax
  • There are no coherence theorems

See also: Chris Leong's Wisdom Explosion

6. Miscellaneous 

(those hard to classify, or those making lots of bets rather than following one agenda)

 

AE Studio

• One-sentence summary: try out a lot of fast high-variance safety ideas that could bear fruit even if timelines are short.
• Theory of change: The 'Neglected Approaches' Broad approach: AE Studio's Alignment Agenda
• Which orthodox alignment problems could it help with?: mixed.
• Target case: pessimistic
• Broad approach: mixed.
• Some names: Judd Rosenblatt, Marc Carauleanu, Diogo de Lucena, Cameron Berg
• Estimated # FTEs: 1-10
• Some outputs in 2024: Self-Other Overlap, Self-prediction acts as an emergent regularizer, Survey for alignment researchers, Reason-based deception
• Critiques: not found.
• Funded by: the host design consultancy
• Publicly-announced funding 2023-4: N/A

 

Anthropic Alignment Capabilities / Alignment Science / Assurance / Trust & Safety / RSP Evaluations 

• One-sentence summary: remain ahead of the capabilities curve/maintain ability to figure out what’s up with state of the art models, keep an updated risk profile, propagate flaws to relevant parties as they are discovered.
• Theory of change: “hands-on experience building safe and aligned AI… We'll invest in mechanistic interpretability because solving that would be awesome, and even modest success would help us detect risks before they become disasters. We'll train near-cutting-edge models to study how interventions like RL from human feedback and model-based supervision succeed and fail, iterate on them, and study how novel capabilities emerge as models scale up. We'll also share information so policy-makers and other interested parties can understand what the state of the art is like, and provide an example to others of how responsible labs can do safety-focused research.”
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors, 13. Fair, sane pivotal processes
• Target case: mixed
• Broad approach: mixed
• Some names: Evan Hubinger, Monte Macdiarmid
• Estimated # FTEs: 10-50
• Some outputs in 2024: Updated Responsible Scaling Policy, collaboration with U.S. AISI
• Critiques: RSPs, Zach Stein-Perlman
• Funded by: Amazon, Stackpoint, Google, Menlo Ventures, Wisdom Ventures, Ripple Impact Investments, Factorial Fund, Mubadala, Jane Street, HOF Capital, the Ford Foundation, Fidelity.
• Publicly-announced funding 2023-4: $4 billion (safety fraction unknown)

 

Apart Research

• One-sentence summary: high volume of experiments from research sprints, interpretability, benchmarks
• Theory of change: make open-source research on AI safety easier to publish + act as a coordination point
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 7. Superintelligence can fool human supervisors
• Target case: mixed
• Broad approach: behavioural/engineering
• Some names: Jason Schreiber, Natalia Pérez-Campanero Antolín, Esben Kran
• Estimated # FTEs: 1-10
• Some outputs in 2024:
  • Benchmarks:
    • Catastrophic Cyber Capabilities Benchmark (3CB): Robustly Evaluating LLM Agent Cyber Offense Capabilities
    • Benchmark Inflation: Revealing LLM Performance Gaps Using Retro-Holdouts
  • Interpretability:
    • Interpreting Learned Feedback Patterns in Large Language Models
    • Interpreting Context Look-ups in Transformers: Investigating Attention-MLP Interactions
    • Large Language Models Relearn Removed Concepts
  • Deception
    • Sandbag Detection through Noise Injection
• Critiques: none found.
• Funded by: LTFF, Survival and Flourishing Fund, Manifund
• Publicly-announced funding 2023-4: $643,500

 

Apollo

• One-sentence summary: model evaluations and conceptual work on deceptive alignment. Also an interp agenda (decompose NNs into components more carefully and in a more computation-compatible way than SAEs). Also deception evals in major labs.
• Theory of change: “Conduct foundational research in interpretability and behavioural model evaluations, audit real-world models for deceptive alignment, support policymakers with our technical expertise where needed.”
• Which orthodox alignment problems could it help with?: 2. Corrigibility is anti-natural, 4. Goals misgeneralize out of distribution
• Target case: pessimistic
• Broad approach: behavioural/cognitive
• Some names: Marius Hobbhanh, Lee Sharkey, Lucius Bushnaq, Mikita Balesni
• Estimated # FTEs: 10-50
• Some outputs in 2024: The first year of Apollo research
  • Evals:
    • Large Language Models can Strategically Deceive their Users when Put Under Pressure
    • A starter guide for evals
    • We need a Science of Evals
    • An Opinionated Evals Reading List
    • Frontier Models are Capable of In-Context Scheming
  • Interpretability:
    • The Local Interaction Basis
    • Identifying Functionally Important Features with End-to-End Sparse Dictionary Learning
    • Using Degeneracy in the Loss Landscape for Mechanistic Interpretability
    • A List of 45+ Mech Interp Project Ideas
  • Control
    • Toward Safety Cases For AI Scheming
• Critiques: various people disliked the scheming experiment, mostly because of others exaggerating it.
• Funded by: Open Philanthropy, Survival and Flourishing Fund
• Publicly-announced funding 2023-4: $4,885,349

 

Cavendish Labs

• One-sentence summary: ?
• Theory of change: ?
• Some names: Andrew Gritsevskiy,  Joseph M. Cavanagh, Aaron Kirtland, Derik Kauffman,
• Some outputs in 2024: REBUS: A Robust Evaluation Benchmark of Understanding Symbols, Unelicitable Backdoors in Language Models via Cryptographic Transformer Circuits, cogsci

 

Center for AI Safety (CAIS)

• One-sentence summary: do what needs doing, any type of work
• Theory of change: make the field more credible. Make really good benchmarks, integrate academia into the field, advocate for safety standards and help design legislation.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 10. Humanlike minds/goals are not necessarily safe, 13. Fair, sane pivotal processes
• Target case: mixed
• Broad approach: mixed
• Some names: Dan Hendrycks, Andy Zou, Mantas Mazeika, Jacob Steinhardt, Dawn Song (some of these are not full-time at CAIS though).
• Estimated # FTEs: 10-50
• Some outputs in 2024: WMDP, Circuit Breakers, Safetywashing, HarmBench, Tamper-Resistant Safeguards for Open-Weight LLMs
• Critiques: various people hated SB1047
• Funded by: Open Philanthropy, Survival and Flourishing Fund, Future of Life Institute
• Publicly-announced funding 2023-4: $9,800,854

 

CHAI

• See also the reward learning and provably safe systems entries.

 

Deepmind Alignment Team 

• One-sentence summary: theory generation, threat modelling, and toy methods to help with those. “Our main threat model is basically a combination of specification gaming and goal misgeneralisation leading to misaligned power-seeking.” See announcement post for full picture.
• Theory of change: direct the training process towards aligned AI and away from misaligned AI: build enabling tech to ease/enable alignment work → apply said tech to correct missteps in training non-superintelligent agents → keep an eye on it as capabilities scale to ensure the alignment tech continues to work.
• See also (in this document): Process-based supervision, Red-teaming, Capability evaluations, Mechanistic interpretability, Goal misgeneralisation, Causal alignment/incentives
• Which orthodox alignment problems could it help with?: 4. Goals misgeneralize out of distribution, 7. Superintelligence can fool human supervisors
• Target case: pessimistic
• Broad approach: engineering
• Some names: Rohin Shah, Anca Dragan, Allan Dafoe, Dave Orr, Sebastian Farquhar
• Estimated # FTEs: ?
• Some outputs in 2024: AGI Safety and Alignment at Google DeepMind: A Summary of Recent Work
• Critiques: Zvi
• Funded by: Google
• Publicly-announced funding 2023-4: N/A

 

Elicit (ex-Ought)

• One-sentence summary: “a) improved reasoning of AI governance & alignment researchers, particularly on long-horizon tasks and (b) pushing supervision of process rather than outcomes, which reduces the optimisation pressure on imperfect proxy objectives leading to “safety by construction”.
• Theory of change: “The two main impacts of Elicit on AI Safety are improving epistemics and pioneering process supervision.”
   

FAR 

• One-sentence summary: a science of robustness / fault tolerant alignment is their stated aim, but they do lots of interpretability papers and other things.
• Theory of change: make AI systems less exploitable and so prevent one obvious failure mode of helper AIs / superalignment / oversight: attacks on what is supposed to prevent attacks. In general, work on overlooked safety research others don’t do for structural reasons: too big for academia or independents, but not totally aligned with the interests of the labs (e.g. prototyping moonshots, embarrassing issues with frontier models).
• Some names: Adrià Garriga-Alonso, Adam Gleave, Chris Cundy, Mohammad Taufeeque, Kellin Pelrine
• Estimated # FTEs: 25
• Some outputs in 2024: Effects of Scale on Language Model Robustness, Data Poisoning in LLMs, InterpBench: Semi-Synthetic Transformers for Evaluating Mechanistic Interpretability Techniques, Planning in an RNN that plays Sokoban. See also: Vienna Alignment Workshop 2024
• Critiques: tangential from Demski
• Funded by: Open Philanthropy, Survival and Flourishing Fund, Future of Life Institute
• Publicly-announced funding 2023-4: $10,260,827

 

Krueger Lab Mila

• One-sentence summary: misc. Understand Goodhart’s law; reward learning 2.0; demonstrating safety failures; understand DL generalization / learning dynamics.
• Theory of change: misc. Improve theory and demos while steering policy to steer away from AGI risk.
• Which orthodox alignment problems could it help with?: 1. Value is fragile and hard to specify, 4. Goals misgeneralize out of distribution
• Target case: mixed
• Broad approach: mixed
• Some names: David Krueger, Alan Chan, Ethan Caballero
• Estimated # FTEs: 1-10
• Some outputs in 2024: Towards Reliable Evaluation of Behavior Steering Interventions in LLMs, Enhancing Neural Network Interpretability with Feature-Aligned Sparse Autoencoders
• Critiques: none found.
• Funded by: ?
• Publicly-announced funding 2023-4: N/A

 

MIRI

• Now a governance org – out of scope for us but here’s what they’re been working on.

 

NSF SLES

• One-sentence summary: funds academics or near-academics to do ~classical safety engineering on AIs. A collaboration between the NSF and OpenPhil. Projects include
  • “Neurosymbolic Multi-Agent Systems”
  • “Conformal Safe Reinforcement Learning”
  • “Autonomous Vehicles”
• Theory of change: apply safety engineering principles from other fields to AI safety.
• Which orthodox alignment problems could it help with?: 4. Goals misgeneralize out of distribution
• Target case: pessimistic case
• Broad approach: engineering
• Some names: Dan Hendrycks, Sharon Li
• Estimated # FTEs: 10+
• Some outputs in 2024: Generalized Out-of-Distribution Detection: A Survey, Alignment as Reward-Guided Search
• See also: Artificial Intelligence in Safety-critical Systems: A Systematic Review
• Critiques: zoop
• Funded by: Open Philanthropy
• Publicly-announced funding 2023-4: $18m granted in 2024.

 

OpenAI Superalignment Safety Systems

• See also: weak-to-strong generalization, automated alignment researcher.
• Some outputs: MLE-Bench
• # FTEs: “80”. But this includes lots working on bad-words prevention and copyright-violation prevention.
• They just lost Lilian Weng, their VP of safety systems. 

OpenAI Alignment Science

• use reasoning systems to prevent models from generating unsafe outputs. Unclear if this is a decoding-time thing (i.e. actually a control method) or a fine-tuning thing.
• Some names: Mia Glaese, Boaz Barak, Johannes Heidecke, Melody Guan. Lost its head, John Schulman.
• Some outputs: o1-preview system card, Deliberative Alignment 

OpenAI Safety and Security Committee

• One responsibility of the new board is to act with an OODA loop 3 months long.

OpenAI AGI Readiness Mission Alignment

• No detail. Apparently a cross-function, whole-company oversight thing.
• We haven’t heard much about the Preparedness team since Mądry left it.
• Some names: Joshua Achiam.

 

Palisade Research

• One-sentence summary: Fundamental research in LLM security, plus capability demos for outreach, plus workshops.
• Theory of change: control is much easier if we can secure the datacenter / if hacking becomes much harder. The cybersecurity community need to be alerted.
• Which orthodox alignment problems could it help with?: 7. Superintelligence can fool human supervisors, 8. Superintelligence can hack software supervisors, 12. A boxed AGI might exfiltrate itself by steganography, spearphishing
• Target case: worst-case
• Broad approach: engineering
• Some names: Jeffrey Ladish, Charlie Rogers-Smith, Ben Weinstein-Raun, Dmitrii Volkov
• Estimated # FTEs: 1-10
• Some outputs in 2024: Removing safety fine-tuning from Llama 2-Chat 13B for less than $200, from Llama 3 for free in minutes, LLM Agent Honeypot
• Critiques: none found.
• Funded by: Open Philanthropy, Survival and Flourishing Fund
• Publicly-announced funding 2023-4: $2,831,627

 

Tegmark Group / IAIFI

• One-sentence summary: figure out how a model works, automatically. Diagnose its trustworthiness, improve its trustworthiness, guarantee its trustworthiness.
• Theory of change: automatically extracting the knowledge learned during training, then reimplement it in an architecture where we can formally verify that it will do what we want. Replace AGI.
• See also: SAEs, concept-based interp, provably safe systems, program synthesis, this.
• Which orthodox alignment problems could it help with?: most, by avoiding opaque AGI.
• Target case: worst-case
• Broad approach: cognitive
• Some names: Ziming Liu, Peter Park, Eric Michaud, Wes Gurnee
• Estimated # FTEs: 10+
• Some outputs in 2024: Survival of the Fittest Representation: A Case Study with Modular Addition, Distilling Machine-Learned Algorithms into Code, Decomposing The Dark Matter of Sparse Autoencoders, Two Stories in Mechanistic Explanation of Neural Networks, Sparse Autoencoder Feature Structure, Efficient Dictionary Learning with Switch Sparse Autoencoders, Kolmogorov-Arnold networks meet science, The Remarkable Robustness of LLMs: Stages of Inference?,
• Critiques: not found.
• Funded by: ?
• Publicly-announced funding 2023-4: N/A

 

UK AI Safety Institute

• One-sentence summary: technical research to enable sensible governance, with leverage from government mandates.
• Theory of change: improve evals, measure harms, develop a method for real AI safety cases, help governments understand the current safety situation, build an international consensus.
• Which orthodox alignment problems could it help with?: 9. Humans cannot be first-class parties to a superintelligent value handshake, 13. Fair, sane pivotal processes
• Target case: pessimistic
• Broad approach: behavioural
• Some names: Geoffrey Irving, Benjamin Hilton, Yarin Gal, JJ Allaire
• Estimated # FTEs: 10-50
• Some outputs in 2024: First Year Reflection; May 2024 progress report; AI evaluations report; a new safety evals framework Inspect; Pre-Deployment Evaluation of Anthropic’s Upgraded Claude 3.5 Sonnet (with US AISI); Early lessons from evaluating frontier AI systems; Long-Form Tasks.
• Critiques: The AI safety summit, and its critics
• Funded by: UK government
• Publicly-announced funding 2023-4: $16M

 

US AI Safety Institute

• One-sentence summary: government initiative focused on evaluating and mitigating risks associated with advanced AI systems.
• Theory of change: rigorous safety evaluations and developing guidelines in collaboration with academia and industry.
• See also: International Network of AI Safety Institutes
• Which orthodox alignment problems could it help with?: 13. Fair, sane pivotal processes
• Target case: pessimistic
• Broad approach: behavioural
• Some names: Paul Christiano, Elham Tabassi, Rob Reich
• Estimated # FTEs: 10-50
• Some outputs in 2024: shared Pre-release testing of Sonnet and o1, Misuse Risk, Synthetic Content, vision
• Critiques: The US AI Safety Institute stands on shaky ground
• Funded by: US government
• Publicly-announced funding 2023-4: $10m (plus some NIST support)

 

Agendas without public outputs this year

• Anthropic: externalised reasoning oversight
• xAI: Tensor Programs
• Algorithm Distillation Interpretability
• Concept extrapolation
• Performative prediction
• Geometric rationality
• A disempowerment formalism

Graveyard (known to be inactive)

• FHI
• MIRI Agent Foundations
  • Some of them continue to work on alignment elsewhere.
• Old-school OpenAI
  • The team “OpenAI AGI Readiness Team”.
  • The name “OpenAI Superalignment Team”.
  • Ilya Sutskever, Alec Radford, Jacob Hilton, Richard Ngo, Miles Brundage, Lilian Weng, Jan Leike, John Schulman, Andrej Karpathy again, Daniel Kokotajlo, William Saunders, Cullen O’Keefe, Carroll Wainwright, Ryan Lowe.
• Krueger Lab Cambridge
• Encultured AI’s gaming agenda
• Alignment of Complex Systems Group’s work on LLM interactions
• the ronin sharp left turn crew

 

Method

We again omit technical governance, AI policy, and activism. This is even more of a omission than it was last year, so see other reviews.

We started with last year’s list and moved any agendas without public outputs this year. We also listed agendas known to be inactive in the Graveyard.

An agenda is an odd unit; it can be larger than one team and often in a many-to-many relation of researchers and agendas. It also excludes illegible or exploratory research – anything which doesn’t have a manifesto.

All organisations have private info; and in all cases we’re working off public info. So remember we will be systematically off by some measure.

We added our best guess about which of Davidad’s alignment problems the agenda would make an impact on if it succeeded, as well as its research approach and implied optimism in Richard Ngo’s 3x3.

• Which deep orthodox subproblems could it ideally solve? (via Davidad)
   
• The target case: what part of the distribution over alignment difficulty do they aim to help with? (via Ngo)
  • “optimistic-case”^[9]: if CoT is faithful, pretraining as value loading, no stable mesa-optimizers, the relevant scary capabilities are harder than alignment, zero-shot deception is hard, goals are myopic, etc
  • pessimistic-case: if we’re in-between the above and the below
  • worst-case: if power-seeking is rife, zero-shot deceptive alignment, steganography, gradient hacking, weird machines, weird coordination, deep deceptiveness
     
• The broad approach: roughly what kind of work is it doing, primarily? (via Ngo)
  • engineering: iterating over outputs
  • behavioural: understanding the input-output relationship
  • cognitive: understanding the algorithms
  • maths/philosophy^[10]: providing concepts for the other approaches

As they are largely outside the scope of this review, subproblem 6 - Pivotal processes likely require incomprehensibly complex plans - does not appear in this review and the following only appear scarcely with large error bars for accuracy:

• 3. Pivotal processes require dangerous capabilities
• 11. Someone else will deploy unsafe superintelligence first
• 13. Fair, sane pivotal processes

We added some new agendas, including by scraping relevant papers from arXiv and ML conferences. We scraped every Alignment Forum post and reviewed the top 100 posts by karma and novelty. The inclusion criterion is vibes: whether it seems relevant to us.

We dropped the operational criteria this year because we made our point last year and it’s clutter.

Lastly, we asked some reviewers to comment on the draft.

 

Other reviews and taxonomies

• Zvi
• Roger
• IAPS counting safety work at frontier labs. Also a forthcoming taxonomy.
• The Compendium
• Narrow Path Stage 0 and 2
• Mech interp
• Wentworth
• Pope
• Hendrycks
• Gillen et al
• Some current alignment theory questions
• Mdickens on the orgs
• Sarah on the labs
• Value learning summary
• What Constellation are focussing on
• Foundational Challenges in Assuring Alignment and Safety of Large Language Models
• AI Alignment: A Comprehensive Survey
• Large Language Model Alignment: A Survey
• ~80 Interesting Questions about Foundation Model Agent Safety
• AI Lab Watch
• MIT AI risk repository
• FLI AI Safety Index 2024

 

Acknowledgments

Thanks to Vanessa Kosoy, Nora Ammann, Erik Jenner, Justin Shovelain, Gabriel Alfour, Raymond Douglas, Walter Laurito, Shoshannah Tekofsky, Jan Hendrik Kirchner, Dmitry Vaintrob, Leon Lang, Tushita Jha, Leonard Bereska, and Mateusz Bagiński for comments. Thanks to Joe O’Brien for sharing their taxonomy. Thanks to our Manifund donors and to OpenPhil for top-up funding.

 

1. ^{^}

    Vanessa Kosoy notes: ‘IMHO this is a very myopic view. I don't believe plain foundation models will be transformative, and even in the world in which they will be transformative, it will be due to implicitly doing RL "under the hood".’

2. ^{^}

    Also, actually, Christiano’s original post is about the alignment of prosaic AGI, not the prosaic alignment of AGI.

3. ^{^}

    This is fine as a standalone description, but in practice lots of interp work is aimed at interventions for alignment or control. This is one reason why there’s no overarching “Alignment” category in our taxonomy.

4. ^{^}

    Often less strict than formal verification but "directionally approaching it": probabilistic checking.

5. ^{^}

    Nora Ammann notes: “I typically don’t cash this out into preferences over future states, but what parts of the statespace we define as safe / unsafe. In SgAI, the formal model is a declarative model, not a model that you have to run forward. We also might want to be more conservative than specifying preferences and instead "just" specify unsafe states -- i.e. not ambitious intent alignment.”

6. ^{^}

   Satron adds that this is lacking in concrete criticism and that more expansion on object-level problems would be useful.

7. ^{^}

    Scheming can be a problem before this point, obviously. Could just be too expensive to catch AIs who aren't smart enough to fool human experts.

8. ^{^}

   Indirectly; Kosoy is funded for her work on Guaranteed Safe AI.

9. ^{^}

    Called “average-case” in Ngo’s post.

10. ^{^}

    Our addition.