Puzzles solved by AIOS