AIXI was neither invented by MIRI nor have they proved any nontrivial theorems about it.
AIXI is Marcus Hutter's work: http://www.hutter1.net/ai/aixigentle.htm
25 karma · joined May 21, 2015
Much uglier side is that our stupid culture hinders automation of human labor. We could automate 90% of physical labor with previous decade's technology if it were a political agenda (meaning will to optimize lifestyle around machine labor thus ditching expectations of interacting with retail and salesman employees when buying products etc). It's just that overwhelming majority of people are ok with current state of things as they are either because they have won the lottery of being in 1st world and with money or because they work like biorobots in the rest of the world and don't have time to think.
This is a quite convenient thought conforming to our current pro-death culture.
Information that is stored in the cell connection structure of the mammal brain isn't irreversibly destroyed at the moment of death, as one of the many similar studies shows [1] . There are existing methods to preserve some (possibly large) part of this information lots of HN readers have probably heard about. Knowing these facts and being really honest with ourselves we will have to conclude that the final death of the individual occurs when this information-storing fine tissue structure of him disintegrates into unstructured matter. The question becomes then - who, by his indifference or by his profession lets this disintegration process run to its end.
Perhaps future generations will look down on us for perpetuating such barbaric customs that lead to rotting of uncountable millions of people into nothingness.
1. http://www.nature.com/nature/journal/v521/n7552/full/nature1...