Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive Science