Solving Mathematical Puzzles: A Challenging Competition for AI