Before revision: The Gödel machine is often compared with Marcus Hutter's AIXItl , another formal specification for an artificial general intelligence.
After revision: The Gödel machine is often compared with Marcus Hutter's AIXI , another formal specification for an artificial general intelligence.