We know that there is infinitely many of prime by the proof of Euclidean.and we know also that there are infinitely many of primes in arithmetic progression by the Dirichlet theorem
My question is, are there some special types of prime number that it has proven that there is infinitely many of them like the Fermat prime or the Sophie German prime or any other special types?