En suivant ta piste, je peux peut-être écrire :
[TeX]n^4 + 4 = (n^2+2)^2 - (2n)^2 = (n^2 - 2n +2)(n^2+2n+2)[/TeX]
Auquel cas, si je ne me suis pas trompé, il faut que l'un des deux facteurs vaille 1 pour que le nombre puisse être premier. [latex]n^2+2n+2[/latex] vaut au moins 2, et
[TeX]n^2 - 2n+2=1 \Rightarrow n=1[/TeX]
Donc seul n=1 est solution, il semblerait...