Можно ли сказать, что использование генератора сокращает потребление памяти, в то время как итератор этого не делает?

Да, можно так сказать, но с некоторыми уточнениями.

Генераторы в Python создают значения по одному, "лениво", не сохраняя всю последовательность в памяти. Это позволяет экономить память при работе с большими или бесконечными последовательностями.

Итераторы же — это общий интерфейс для последовательного доступа к элементам коллекции. Итератор может быть реализован как генератор (лениво) или как объект, который хранит всю коллекцию в памяти.

Пример генератора:

def count_up_to(n):
    i = 0
    while i < n:
        yield i
        i += 1

Этот генератор не хранит всю последовательность в памяти, а выдает по одному значению.

Если же итератор реализован на основе списка, то весь список хранится в памяти.

Таким образом, генератор обычно сокращает потребление памяти по сравнению с обычным итератором, который может хранить все элементы сразу.