Aixi

Developing formal models for agent intelligence and universal induction systems currently.