Kann KI Logikrätsel lösen?