A lay-readable book on the mathematics of optimal intelligence (Bayes, Solomonoff induction, AIXI), the specification problem, and what they imply about modern AI and alignment.
-
Updated
Jun 25, 2026 - TeX
A lay-readable book on the mathematics of optimal intelligence (Bayes, Solomonoff induction, AIXI), the specification problem, and what they imply about modern AI and alignment.
The Library: The Indifference of Description — Vol III of the Indifference suite. Algorithmic information theory followed to a single claim: there are no joints, only the cuts you make.
blam — binary lambda machine: classical and quantum algorithmic information theory in binary lambda calculus. Exhaustive censuses, BBλ frontiers, Ω/K measurements, Lean-checked divergence certificates.
Add a description, image, and links to the solomonoff-induction topic page so that developers can more easily learn about it.
To associate your repository with the solomonoff-induction topic, visit your repo's landing page and select "manage topics."