Journal: Annals of Mathematics and Artificial Intelligence