The current status of this conjecture is that it is not proven either way. It is similar to the mersenne primes conjecture, as well as the twin prime conjecture. At this point, the only infinitude proof concerning prime numbers of a specific kind gives an upper bound on the limit inferior of the difference between consecutive primes, which is somewhat vague and doesn't involve formulas as specific as yours. Ulam's spiral shows that there are many similar formulas, perhaps infinitely many, that often produce primes. Whether or not they do so infinitely often remains an open question.

It seems at this point that in order to prove such conjectures, we will need new tools and methodologies, as analytical number theory doesn't cut it and none of the other branches of mathematics have stepped in to pick up the slack. However, it is entirely possible that answers to these questions will begin to pop up within the next decade or even sooner. Once one such proof is assembled, others are sure to follow.