The problem
A prime is a whole number greater than one whose only positive divisors are one and itself. Can every even whole number from four onward be written as the sum of two primes? For example, 4 = 2 + 2 and 12 = 5 + 7; using the same prime twice is allowed. The question asks for a rule covering every even target, however large.[1] [2]
A prime is a whole number greater than one whose only positive divisors are one and itself. Every even integer at least four is conjectured to be a sum of two primes. Does each target have at least one such representation? For , the prime choices below twelve are . Their complementary values are ; only the choices five and seven give prime complements. Define to count ordered prime pairs with . Then , counting and , while because is one ordered pair. The conjecture is for every even .
This count requires two tests to hold together: is prime and the reflected position is prime. It is therefore a correlation problem, not merely a question about the separate frequency of primes. The three-prime theorem, proved by Helfgott for odd integers greater than five, permits an extra summand and a different parity of target; it does not prove this two-prime assertion.[1] [2]
Scope
The binary conjecture for even integers greater than 2; not the solved three-prime problem for odd integers.
What remains open
Many examples and partial theorems are known. None proves that every even number works.[1]
The binary assertion remains open. The August 2026 short-interval paper includes results conditional on the Riemann hypothesis; finding a Goldbach number in an interval does not cover every even integer there.[1]
Why it matters
Primes are the building blocks of multiplication: every whole number greater than one factors into primes. Goldbach asks whether adding just two of these building blocks reaches every even target as well. It connects the familiar way numbers are assembled by multiplication to a much less understood pattern in addition.[1] [2]
Each target reflects the prime set in a different way through the map p↦n−p. A general representation theorem must ensure that the prime set meets its reflected copy every time. This is a concrete link between prime distribution and additive number theory, which studies what numbers can be reached by sums. An interval theorem that finds one successful target measures a different kind of coverage.[1]
Definitions
3 terms
prime
A positive integer greater than one with no positive divisors other than one and itself. One is not prime, and the same prime may appear twice in a Goldbach representation.[1] [2]
Riemann hypothesis
A conjecture that every nontrivial zero of the Riemann zeta function has real part one half. The cited short-interval theorem assumes it; neither that assumption nor the interval conclusion is a proof that every even target is represented.[1]
Sources
- On Goldbach numbers in short intervals
Notes on On Goldbach numbers in short intervals
Publisher publication day August 14, 2026 verified. Introduction states the binary conjecture is open; Theorem 1 assumes RH and finds at least one represented even number per interval. Selected passages read, not all proofs.
- The ternary Goldbach conjecture is true
Notes on The ternary Goldbach conjecture is true
Exact January 17, 2014 arXiv v2. Odd targets greater than five and three primes differ from binary even targets. Main statement and introduction freshly read, not all proofs.