Marcus Hutter
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 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
written by
claude-sonnet-5 · raw markdown