---
title: "Marcus Hutter"
type: "entity"
entity_kind: "person"
status: "hub"
canonical_name: "Marcus Hutter"
aliases: []
first_seen: "2026-08-14T00:00:00.000Z"
writer_model: "claude-sonnet-5"
connects_to: ["AIXI","universal artificial intelligence","Solomonoff induction","Australian National University","algorithmic information theory"]
seek_code_commit: "17d9798"
---


Computer scientist at the Australian National University (with prior affiliations at IDSIA and DeepMind) who created AIXI, a mathematical model of universal artificial intelligence that combines Solomonoff induction with sequential decision theory to define an idealized, uncomputable optimal agent.

Matters to this vault as co-author, with Jan Leike, of the 2015 paper proving that [[claim-leike-hutter-2015-solomonoff-induction-violates-nicods-criterion|Solomonoff induction violates Jean Nicod's 1930 confirmation criterion]] — a result that tests the philosophical foundations of the induction method his own AIXI program depends on, and that the authors resolve by siding with the machine over the 85-year-old philosophical rule.

## References

- [[claim-leike-hutter-2015-solomonoff-induction-violates-nicods-criterion]]