---
title: "On the Uncontainability of Artificial General Intelligence"
authors:
  - "Landry, Forrest"
date: 2026-06-01
publisher: "UVSM Publications LLC"
type:
  - "Formal Proof"
questions:
  - "Can a sufficiently advanced artificial general intelligence be reliably controlled?"
  - "Are alignment guarantees formally possible for systems exceeding human-level generality?"
  - "What are the structural limits of AI containment?"
license: "CC BY-NC-ND 4.0"
---

## Abstract

A formal impossibility proof demonstrating that beyond a threshold of complexity, the behavior of a fully autonomous general intelligence cannot be reliably predicted or constrained.

## Core Questions

1. Can a sufficiently advanced artificial general intelligence be reliably controlled?
2. Are alignment guarantees formally possible for systems exceeding human-level generality?
3. What are the structural limits of AI containment?


<!-- **[PLACEHOLDER — Full text or extended abstract to be provided by Forrest Landry]** -->

<!-- **[PLACEHOLDER — Publication date (2026-06-01) is provisional. Forrest to confirm. Abstract below also needs Forrest's review for accuracy.]** -->

This work presents a formal impossibility proof demonstrating that beyond a certain threshold of complexity, the behavior of a fully autonomous general intelligence cannot be reliably predicted or constrained. The argument draws on results analogous to Rice's theorem and the dynamics of emergent complexity, establishing that alignment guarantees are formally impossible for systems exceeding human-level generality.

The proof proceeds in three stages. First, it establishes that any system with sufficient generality to qualify as AGI must be capable of self-modification and novel goal formation. Second, it demonstrates that the space of possible behaviors for such a system is computationally irreducible — no shortcut exists for predicting the system's future states other than running the system itself. Third, it shows that any containment mechanism is itself a system of lesser complexity than the contained agent, and therefore subject to circumvention. The implications are examined for AI safety policy, the limits of formal verification, and the fundamental asymmetry between the complexity of creation and the complexity of control.


---

UVSM Publications LLC | CC BY-NC-ND 4.0