Goldbach's Conjecture Simulator: Decompose Even Numbers into Prime Pairs

simulator intermediate ~10 min
Loading simulation...
6 pairs — 100 = 3+97 = 11+89 = 17+83 = 29+71 = 41+59 = 47+53

The even number 100 can be expressed as the sum of two primes in 6 distinct ways, confirming Goldbach's conjecture for this value.

Formula

G(2k) = #{(p, q) : p + q = 2k, p ≤ q, both prime}
Expected G(2k) ≈ C₂ × 2k / ln²(2k)
C₂ = 2 × ∏(p≥3) (1 - 1/(p-1)²) ≈ 1.3203

The Oldest Open Problem

In 1742, Christian Goldbach wrote to Leonhard Euler suggesting that every integer greater than 2 could be written as the sum of three primes. Euler reformulated this into the modern 'strong' conjecture: every even number greater than 2 is the sum of two primes. Despite centuries of effort by the greatest minds in mathematics, nobody has proved — or disproved — this deceptively simple statement. This simulation lets you test it yourself for any even number and visualize all prime-pair decompositions.

Counting Prime Pairs

For a given even number 2k, the number of Goldbach representations G(2k) counts distinct pairs (p, q) where p + q = 2k and both are prime. The pair count varies dramatically: 4 has just one pair (2+2), while 100 has six. As numbers grow, G(2k) generally increases, following a trend proportional to 2k/ln²(2k), but with significant fluctuations depending on divisibility by small primes.

The Goldbach Comet

Plotting G(2k) against 2k produces a beautiful scatter pattern called the Goldbach comet. The main body shows the expected growth rate, while distinct 'tails' appear for multiples of 6, 30, and other primorial products — these numbers have systematically more representations because their residues modulo small primes are favorable. The comet structure is a visual fingerprint of the interplay between primes and multiplication.

Computational Frontiers

As of 2014, the conjecture has been verified computationally for all even numbers up to 4 × 10^18 by Oliveira e Silva and collaborators. In 2013, Harald Helfgott proved the weak conjecture (every odd number above 5 is the sum of three primes), a landmark achievement using the Hardy-Littlewood circle method. The strong conjecture, however, may require entirely new mathematical frameworks to settle.

FAQ

What is Goldbach's conjecture?

Goldbach's conjecture states that every even integer greater than 2 can be expressed as the sum of two prime numbers. Proposed by Christian Goldbach in a 1742 letter to Euler, it remains unproven after nearly 300 years, though verified computationally up to 4 × 10^18.

Has Goldbach's conjecture been proven?

No. Despite being one of the oldest unsolved problems in mathematics, no proof exists. In 2013, Harald Helfgott proved the weak Goldbach conjecture (every odd number > 5 is the sum of three primes), but the strong (binary) version remains open.

What is a Goldbach comet?

The Goldbach comet is a scatter plot of G(2k) — the number of prime-pair representations — against 2k. It forms a comet-like shape because G(2k) grows roughly as n/ln²(n) but with significant local variation depending on small prime factors of 2k.

How many Goldbach pairs does a typical even number have?

For an even number 2k, the expected number of pairs is approximately C₂ × 2k / ln²(2k) × ∏(p|2k, p>2) (p-1)/(p-2), where C₂ ≈ 1.32 is the twin-prime constant. A number like 1000 has about 28 pairs.

Sources

Embed

<iframe src="https://homo-deus.com/lab/number-theory/goldbach-conjecture/embed" width="100%" height="400" frameborder="0"></iframe>
View source on GitHub