Puzzles solved by AIGR