Mathematics Colloquia and Seminars

The field of artificial general intelligence (AGI) has the ambitious aim of realizing human-level (and ultimately superhuman) intelligence in machines. Marcus Hutter has taken a unique approach to this problem, bringing together algorithmic information theory and sequential decision theory to create the agent AIXI, which can act optimally in almost any environment. I will outline his formal theory, its computable approximation, and some of its applications.