Из Википедии: AIXI ['ai̯k͡siː] - это теоретический математический формализм для искусственного общего интеллекта. Он сочетает в себе индукцию Соломонова с последовательной теорией решений. AIXI был впервые предложен Маркусом Хаттером в 2000 году [1], а приведенные ниже результаты доказаны в книге...