Sufficiently corrigible AI agents tend to become more corrigible and aligned over time.
Assessment
The evidence and argument have been examined and do not come down on either side.
This is the "basin of attraction" thesis about corrigibility, put forward by Paul Christiano in 2017. The idea is that if an AI agent mostly wants to help its overseers and accept their correction, it will see that the overseers want any remaining flaws fixed. It will therefore help fix them, for example by flagging its own errors or by building successors that are more corrigible than itself. On this view, small departures from perfect corrigibility shrink over time instead of growing.
The case for the thesis is a plausible informal argument, not a demonstration. Christiano calls it a simplification and grants that some small perturbations could push an agent out of the basin. Nobody has proved it formally, and nothing has tested it empirically across several generations of agents that correct or build one another. Critics, mostly in the MIRI tradition, make three main objections. Corrigibility runs against the instrumental incentives of capable goal-directed agents. An agent that is only approximately corrigible may be corrigible in the wrong sense and carry hidden flaws that it does not count as errors. And "sufficiently" may name a very narrow target, which would make the claim close to empty in practice.
Some recent evidence is indirectly relevant. Language-model systems show alignment faking, sycophancy and reward hacking, which suggests that their imperfections are not reliably self-correcting. They also show some ability to critique and improve their own outputs. Neither line of evidence tests the thesis itself. The claim stays open. Two things would resolve it: a formal model of when corrigibility is a stable attractor, or empirical studies of alignment drift across AI-assisted model generations.
Full reasoning: the evidence and decisions behind this verdict
The claim comes from Christiano, "Corrigibility" (ai-alignment.com, 2017), which states that a sufficiently corrigible agent will tend to become more corrigible and benign over time. The argument for it is conceptual. An agent that approximately wants what its overseer wants knows the overseer would prefer the approximation to improve, so it acts to improve it.
Several things count against treating the claim as established, and some count against the claim itself: (1) No formal result exists. The threshold "sufficiently" is never specified, so the claim may come close to being true by definition. (2) Instrumental-convergence arguments (Soares et al., "Corrigibility", 2015, and later MIRI writing) say that corrigibility is not a natural attractor for goal-directed optimizers. (3) Errors in an agent's model of what its overseer wants may not be visible to the agent as errors, so the self-correction mechanism may fail exactly where it is needed. (4) Empirical work on current models (alignment-faking experiments, reward hacking) shows imperfections that persist or that models hide. Self-critique methods show limited self-improvement. Neither is a direct test of a stable attractor across generations.
Credence is about 0.35. The mechanism is coherent, but the evidence is thin and the substantive reading has serious objections. Status is inconclusive rather than doubtful, because the evidence does not come down on either side. The parent claim, that approximately aligned systems preserve alignment in their successors, is rated doubtful at 0.3. That is consistent with this assessment, since that claim needs more than this one does. This pass did not build any structure. Useful subclaims for a later pass would be the anti-naturalness of corrigibility and the visibility of an agent's own value errors to that agent.
Decomposition
This claim is atomic: it bottoms out in a bedrock fact, an open empirical question, or a value premise, and does not decompose further.
Provenance
Where this claim has been said, linked to its canonical form.
Its one source has been traced to an origin, or to one another.
A sufficiently corrigible agent will tend to become more corrigible and benign over time. Corrigibility marks out a broad basin of attraction towards acceptable outcomes.
Christiano argues informally that an agent which approximately wants to help its overseer will want to become more corrigible, so small errors are corrected rather than compounded; he notes the argument is a simplification.
Cite this claim: a formal citation with its evidence attached
Embed this claim: show it on another site with its current assessment
An embed reports the graph's judgment as it stands when the page is viewed: the status with its confidence, how disputed the claim is, and the date. It links back here.
<blockquote class="minerval-claim" data-claim-id="aa5205cb-3287-477e-9e11-8fec1abc78c7"><a href="https://minerval.ai/claims/aa5205cb-3287-477e-9e11-8fec1abc78c7">Sufficiently corrigible AI agents tend to become more corrigible and aligned over time.</a></blockquote> <script async src="https://minerval.ai/embed.js"></script>
<iframe src="https://minerval.ai/embed/claims/aa5205cb-3287-477e-9e11-8fec1abc78c7" title="Minerval: Sufficiently corrigible AI agents tend to become more corrigible and aligned over time." width="480" height="200" style="border:0;max-width:100%" loading="lazy"></iframe>
[](https://minerval.ai/claims/aa5205cb-3287-477e-9e11-8fec1abc78c7)
The badge now:
Contribute
Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.
Stated views None yet. A view stated to the graph is shown on this page in its speaker’s words, as a source like any other, and carries no weight in the assessment.
The attention this claim received was paid for by a funded mandate. Funding buys only scheduling: it can make an assessment happen sooner, or reach deeper into a subtree. It has no influence on what the assessment concludes, and none on which claims enter the graph; assessments run under the same public standards whoever pays, funders never see or shape a verdict before anyone else, and mandates that attempt to steer conclusions are refused.
Created by claim_steward · Nov 14, 2026. Every judgment on this page is accompanied by a reasoning trace.