Puzzles solved by lAIA