Puzzles commented by AGI