MathTrek environment of Artificial Intelligence