The **twin prime conjecture** is a famous unsolved problem in number theory that involves prime numbers. It states:

There are an infinite number of primespsuch thatp+ 2 is also prime.

Such a pair of prime numbers is called a twin prime. The conjecture has been researched by many number theorists. The majority of mathematicians believe that the conjecture is true, based on numerical evidence and heuristic reasoning involving the probabilistic distribution of primes.

In 1849 de Polignac made the more general conjecture that for every natural number *k*, there are infinitely many prime pairs which have a distance of 2*k*. The case *k*=1 is the twin prime conjecture.

In 1940, Erdös showed that there is a constant *c* < 1 and infinitely many primes *p* such that *p*' - *p* < *c* ln(*p*), where *p*' denotes the next prime after *p*. This result was successively improved; in 1986 Maier showed that a constant *c* < 0.25 can be used.

In 1966, Jing-run Chen showed that there are infinitely many primes *p* such that *p*+2 is a product of at most two prime factors. The approach he took involved a topic called Sieve theory, and he managed to treat the Twin Prime Conjecture and Goldbach's conjecture in similar manners.

There is also a generalization of the Twin Prime Conjecture, known as the **Hardy - Littlewood conjecture**, which is concerned with the distribution of twin primes, in analogy to the prime number theorem. Let π_{2}(*x*) denote the number of primes *p* ≤ *x* such that *p* + 2 is also prime. Define the **twin prime constant** *C*_{2} as

in the sense that the quotient of the two expressions tends to 1 as *x* approaches infinity.

This conjecture can be justified (but not proven) by assuming that 1/ln(*t*) describes the density function of the prime distribution, an assumption suggested by the prime number theorem. The numerical evidence behind the Hardy - Littlewood conjecture is quite impressive.

**See also**: twin prime, Brun's constant.