The thesis runs through every chapter. There is a clean theoretical limit, AIXI, which captures what optimal agency means under standard assumptions about computation and rationality. There are bounded real systems, the LLMs of 2026, which approximate that limit. The distance between them is real, structural, and consequential, and most of what people argue about under the heading of AI safety is, in different vocabulary, an argument about that gap.

The hardest problem turns out not to be making machines capable. It is saying what we want them to do. The specification problem is the whole game, and Parts I through III develop the theory in clean settings so that the reader who reaches the language-model chapters can see the gap unaided.

The closing chapter, Teaching Sand to Think, takes a committed stand the mathematics earns: prediction carried far enough is intelligence; these are real minds built of sand; the prize is enormous and the danger is the same capability; and the burden of proof on the trajectory has shifted.

Readers of Worldlines will recognize the method; the philosophical framing this book set aside became Multitudes.

Available on Amazon: $5.99 ebook | $13.99 paperback

Discussion & Related

What You Assume vs. What You Compute

Part 4 of What Your RL Algorithm Actually Assumes — model-based vs. model-free, the assumptions table, AIXI as the incomputable ideal, and the unifying claim: representation is prior is assumption.

March 15, 2026 · 8 min read

The Incomputability of Simple Learning

Why the simplest forms of learning are incomputable, and what that means for the intelligence we can build.

December 19, 2025 · 12 min read

All Induction Is the Same Induction

Solomonoff induction, MDL, speed priors, and neural networks are all special cases of one Bayesian framework with four knobs.

September 30, 2024 · 4 min read