Open problem, Arithmetic and number theory, posed 1912
Primes of the form n² + 1 (Landau's fourth problem)
Are there infinitely many prime numbers of the form , where is a positive integer?
As of 2026 Landau's fourth problem remains open: no single-variable polynomial of degree has been proved to represent infinitely many primes. The sequence has only elements up to , which is far sparser than any short interval currently accessible, and classical sieve methods are blocked by the parity barrier from distinguishing primes () from products of two primes (). The landmark unconditional result remains Henryk Iwaniec's 1978 theorem that is a almost-prime infinitely often, with . A second line of attack bounds the largest prime factor : if one could reach infinitely often, would itself be prime; Jori Merikoski (2023, arXiv:1908.08816) pushed this exponent to infinitely often (and to in subsequent work). For two-variable polynomials of density or , the parity barrier has been broken: Friedlander and Iwaniec (1998) proved there are infinitely many primes of the form , and Heath-Brown (2001) proved the same for .
Best known results
- There are infinitely many positive integers such that has at most two prime factors, with (Iwaniec, 1978).
- The largest prime factor exceeds infinitely often (Merikoski, 2023, arXiv:1908.08816), subsequently pushed to .
- For thin two-variable polynomials, there are infinitely many primes of the form (Friedlander–Iwaniec, 1998) and (Heath-Brown, 2001).
Tools and where they stop
| Tool | Achieved | Where it stops |
|---|---|---|
| Linear sieve with bilinear error term (Iwaniec) | Exploits equidistribution of roots of via Kloosterman sums to extend the level of distribution of past to , proving infinitely often. | Blocked by the parity barrier of sieve theory: without Type II bilinear information on products with both factors comparable in size, the sieve cannot separate primes from semiprimes. |
| Asymptotic sieve on Gaussian integers (Friedlander–Iwaniec) | Factors in and uses the extra variable to obtain Type II cancellation via Jacobi–Kubota symbols, proving infinitely many primes of the form . | Requires averaging over the second variable ; setting (which gives ) removes the extra summation that produces the Type II bilinear cancellation. |
Open questions
- Can one prove there are infinitely many primes of the form , or more generally for , pushing the Friedlander–Iwaniec method closer to the thinness of ?
- Can the largest-prime-factor exponent for be pushed above , or eventually all the way to (which would settle Landau's fourth problem)?
References
- Godfrey H. Hardy, John E. Littlewood (1923). Some problems of 'Partitio numerorum'; III: On the expression of a number as a sum of primes · DOI:10.1007/bf02403921
- Henryk Iwaniec (1978). Almost-primes represented by quadratic polynomials · DOI:10.1007/bf01578070
- John Friedlander, Henryk Iwaniec (1998). The polynomial captures its primes · arXiv:math/9811185
- Jori Merikoski (2023). On the largest prime factor of · arXiv:1908.08816