# AIXI

AIXI ['ai̯k͡siː] is a theoretical mathematical formalism for artificial general intelligence.It combines Solomonoff induction with sequential decision theory.AIXI was first proposed by Marcus Hutter in 2000 and several results regarding AIXI are proved in Hutter's 2005 book Universal Artificial Intelligence. AIXI is a reinforcement learning (RL) agent. It maximizes the expected total rewards received from the environment. Intuitively, it simultaneously considers every computable hypothesis (or environment). In each time step, it looks at every possible program and evaluates how many rewards that program generates depending on the next action taken. The promised rewards are then weighted by the subjective belief that this program constitutes the true environment. This belief is computed from the length of the program: longer programs are considered less likely, in line with Occam's razor. AIXI then selects the action that has the highest expected total reward in the weighted sum of all these programs. (Wikipedia).

(English Version: https://www.youtube.com/watch?v=DosqbEy8ecY) http://www.nucleusinc.com/ - 这个三维动画介绍了右髋关节的全髋关节置换术。该手术包括切开、露出髋关节、放置髋臼修复假体（窝）、割掉发炎的股沟头、放置股骨头假体（球）。

From playlist 在中国医学动画

AI Safety - Elliot Catt on Mathematical approaches to AGI Safety

The AI Safety seminar hosts weekly discussions of readings on technical and philosophical topics in AI safety. This week Elliot Catt joins us from DeepMind, to give an introduction to the role of mathematics in AGI Safety. He covers the following approaches to safety: - Universal AI and A

From playlist AI Safety seminar

The BuShou of HanZi :石

A brief description of the BuShou of 石.

From playlist The BuShou of HanZi

The BuShou of HanZi :石

A brief description of the BuShou of 石.

From playlist The BuShou of HanZi

Embedded Recipes 2017 - Developing an embedded video application... - Christian Charreyre

Embedded video tends to be an increasing subject in embedded Linux developments. Even if ARM SOCs provide great resources for video treatment with dedicated IPU, GPU …, a dual approach based on FPGA + general purpose processor is an interesting alternative. In this presentation Christian

From playlist Embedded Recipes 2017

Peter Sarnak: Hyperbolic equations and spectral geometry

Programme for the Abel Lectures 2005: 1. "Abstract Phragmen-Lindelöf theorem & Saint Venant’s principle" by Abel Laureate 2005 Peter D. Lax, New York University 2. "Systems of conservation laws" by Professor Sebastian Noelle, CMA Oslo/ RWTH Aachen 3. "Hyperbolic equations and spectra

From playlist Abel Lectures

Finding better randomness

Distinguished Visitor Lecture Series Finding better randomness Theodore A. Slaman University of California, Berkeley, USA

From playlist Distinguished Visitors Lecture Series

Local eigenvalue statistics of random band matrices - Tatyana Shcherbina

Analysis Seminar Topic:Local eigenvalue statistics of random band matrices Speaker:Tatyana Shcherbina Affiliation: Princeton University Date: Febuary 28, 2018 For more videos, please visit http://video.ias.edu

From playlist Mathematics