AIXI -- Efficient AGI -- Transformers