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.
Browse posts by tag
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.
When the only signal is a number at the end of a trajectory. How REINFORCE turns out to be the same gradient as classification, scaled by return, and where the theory tops out.
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, …
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.
Newer textbook presenting AIXI and related universal agent theory with updated structure; suitable after the core UAI book.
Lecture on AIXI and universal intelligence theory with deep insights.
Formal theory of universal agents combining Solomonoff induction and sequential decision theory; foundational for AGI theory.