b. For Green-Tao and related results the following as some 'warning': The sixty-first Putnam competioncompetition (2000) had the following question (paraphrasing): the values the polynomial $Q=X^2+Y^2$ takes on $\mathbb{Z}^2$, contains inifinitelyinfinitely many triples of consecutive integers. This is not hard to show. Yet, then in the book "The William Lowell Putnam Mathematical Competition 1985-2000: Problems, Solutions, and Commentary" by Kedlaya, Poonen, Vakil there is mentioned the related question (p.279), (then) stated as open problem (again prarphrasingparaphrasing):
Yet, I will try to demonstrate by an analogy, somewhat close to the problem at hand, at least in my opinion, what is about theintuitionthe intuition.
Recall that Lagrange's Four Squares Theorem asserts that every nonnegativenon-negative number is the sum of four squares of integers. Or in other words, for $L= X_1^2 + X_2^2 + X_3^2 + X_4^2$ one has $L(\mathbb{Z}^4)=\mathbb{N}$ (where we choose the convention that $\mathbb{N}$ includes $0$).
Now, this is on the one hand an interesting result in its own right, and on the other hand the fact that one can characterize the nonnegativenon-negative integers among all integers in such a way/by such a formula is sometimes also used. In fact, it is used in considerations close to the one at hand see its mention in the context of Hilbert's tenth problem.
So this is fine and interesting. What however does not seem like a very feasible idea is to try to understand the nonnegativenon-negative integers better by analysing the polynomial $X_1^2 + X_2^2 + X_3^2 + X_4^2$.
And, to some extent the situation for the primes and this polynomial seems comparable. Yes, one has this characterization of primes, this is very interesting but not so interesting to understand the primes (in the sense, say, some analytic number theorist would like to understand them, frequency, gaps, etc.): the description is not very convenient to work with, the primes do not come out in a systematicesystematic way, there are various polynomials having the samsame property (so why this and not another), the fact that such a polynomial exists is nothing very specific to the primes but also true for all recursvelyrecursively enumerable sets, and so on.