Гипотеза Буняковского для полноты картинки (из Серпинского):
Если многочлен

неприводим и

, то многочлен принимает бесконечно много простых значений.
Аналогичной гипотезы для

с использованием хотя бы одного возведения в степень я не знаю (знаю только про числа Мерсенна, Ферма их обобщения и т.п.)