Solomonoff Induction

On Intelligence: The Gap Where Safety Is Decided

There is a beautiful, settled theory of intelligence, and there are the crude systems we shipped. The distance between them is where safety is actually decided.

On Intelligence: and Its Specifications

We taught sand to think. We did it before we learned to say what we wanted it to do. There is a real, settled, and genuinely beautiful theory of what intelligence is: Bayes' theorem, Solomonoff's universal prior, and expected-utility maximization, …

Compression Enables Generalization: Wake-Sleep Cycles for Logic Programming with LLM Integration

The Incomputability of Simple Learning

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

Marcus Hutter on Universal Intelligence and Solomonoff Induction

Notes

Technical talk touching on universal induction and AI foundations.

Marcus Hutter: Universal Artificial Intelligence, AIXI, and AGI

Notes

Lecture on AIXI and universal intelligence theory with deep insights.

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability

Notes

Formal theory of universal agents combining Solomonoff induction and sequential decision theory; foundational for AGI theory.

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.