这个问题是伊朗2009TST和中国2006TST的推广, 对任意给定的非零整数a
前者要证明存在无穷多个素数p, 使得对每个这样的素数p, 存在正整数n使p|2^2^n+a成立
后者要证明对任意正整数N, 存在正整数n使得2^n+a有至少N个两两不相同的素因子

2∧2∧n±n素因子个数，哪些n形成的数是素数？加时哪些是素数，减时哪些是素数，加和减都是素数时哪些n符合
2∧2∧n+kn，k是非0整数，每个k对应最小的n是和数每个k是否都有一个最小的n？（k的绝对值和n都是奇素数）