Problem · Clay Millennium Prize · Mathematics

The Riemann Hypothesis

Listen

0:00

Build one function from an infinite sum, watch it encode the primes, then ask where it hits zero. That is the road to the hypothesis.

01 · History

A shy paper, a shrug, and a fight with the primes

Bernhard Riemann, a shy, young professor in Göttingen, sat down to count primes and produced one short paper. Then, almost as an afterthought, he guessed where a function hits zero. The year was 1859. Number theory is still stuck on that shrug.

The story actually begins with showing off. In the 1600s people were stuck adding one over every square: 1 + 1/4 + 1/9 + 1/16 + …. Leonhard Euler solved it. The sum is π²/6. Then he got greedier. Swap the squares for cubes, fourth powers, or any power s, and you get a function: the zeta function ζ(s).

Euler’s deeper trick was to rewrite that sum as a product over primes alone. Because every whole number factors uniquely into primes, each term in the sum can be assembled by multiplying simple series for 2, 3, 5, and so on. So zeta is a machine that stores the same information as the primes.

A teenage Carl Friedrich Gauss sat with tables of primes the way some people sit with box scores. He guessed how they thin out: the count of primes up to n behaves like n / log n. That guess became the prime number theorem. Riemann wanted the fine print. In that 1859 paper he let the input s be a complex number (an input like 2 + i), then extended the function so it still makes sense far beyond the region where the original series converges. There is essentially one coherent way to do that extension. That extended object is today’s Riemann zeta function.

Once zeta lives on the whole plane (apart from a blow-up at s = 1), you can ask where it is zero. Some zeros are “trivial,” sitting at −2, −4, −6, …, and we understand them. The rest, the nontrivial zeros, sit somewhere in a strip between real parts 0 and 1. Riemann wrote, almost casually, that they probably all lie on the midline where the real part equals 1/2. That “probably” became the Riemann hypothesis. He died at 39. He never came back to finish the argument. Number theorists have been trying to prove him right, or catch him in that shrug, ever since.

Euler's bridge

One sum over integers equals one product over primes.

ζ(s) = 1 + 2^−s + 3^−s + …

Π_p (1 − p^−s)⁻¹

Real s (s > 1 for the classical product)2.00

Primes in the product8

Partial sum: 1.63251
Partial product: 1.62805
ζ(s): 1.64493 · |err| 0.0169

Scrub s and how many primes enter. As more primes join, the product approaches the true ζ(s). That is why zeros of zeta constrain the primes.

02 · Exact statement

The claim in one sentence

Riemann hypothesis

Every nontrivial zero of the Riemann zeta function ζ(s) has real part equal to 1/2.

After the extension described above, ζ(s) is defined for complex inputs except s = 1. Trivial zeros sit at the negative even integers. All other zeros are nontrivial and known to lie in the critical strip 0 < Re(s) < 1, which means the real part of s is between 0 and 1. The hypothesis says they all sit exactly on the midline Re(s) = 1/2.

03 · Where it stands

Infinite zeros sit on the line. The rest still need a proof.

After Riemann, it took decades to finish the prime number theorem with tools from complex analysis. In 1914, G. H. Hardy proved there are infinitely many zeros on the critical line. Later work showed a positive proportion of nontrivial zeros live there. That is real progress toward 100%. The hypothesis still asks for every zero. A positive proportion can still leave room for outliers.

Today the conjecture looks true in every computational window we can open. Hundreds of theorems assume it as a hypothesis. The decisive argument that every nontrivial zero must sit on the midline has not arrived.

Formal status: Open. One of seven Clay Millennium Prize Problems.
Hardy’s step (1914): Infinitely many nontrivial zeros lie on the critical line. That still leaves room for infinitely many others off it.
Computational check: The first trillions of nontrivial zeros found by machine sit on the midline. None have been found off it.
What remains missing: A reason that forces every nontrivial zero onto the midline. Mountains of examples that land there still leave outliers possible.

What would count as solved

The finish line, in plain language

A solution is a mathematical proof that every nontrivial zero of the Riemann zeta function has real part exactly one half, or a proof that some nontrivial zero sits elsewhere. Mountains of numerical checks are evidence. The finish line is still a proof.

Prove that every nontrivial zero lies on the critical line Re(s) = 1/2, or exhibit a counterexample off that line.
The argument must be a conventional mathematical proof that experts can check. Checking finitely many zeros leaves the claim open.
Under Clay Millennium Prize rules, the write-up must meet their publication and verification standards.

04 · Visualizations

Meet the actual function ζ(s)

Scrub and play. These plots evaluate zeta in your browser so you can see the object Riemann studied.

On the real line

Start where Euler did: ordinary real numbers. Watch zeta climb toward the blow-up at x = 1. The black dots at negative even integers are the trivial zeros.

Real line · ζ(x)

ζ(2.00) ≈ 1.6449

Scrub x2.00

Drag the curve or scrub. Black dots at −2 and −4 are trivial zeros. The dashed line is the pole at x = 1, where the series explodes.

This is the actual zeta function on the real line.

Along the critical line

Move along the midline s = 1/2 + it and watch the output of zeta draw a path in the plane of complex numbers. Whenever that path hits the origin, zeta has a zero. The hypothesis says every nontrivial zero is one of those hits on this midline.

Complex plane · ζ(1/2 + it)

s = 0.50 + 14.13i→ζ(s) ≈ 0.004 − 0.004i

|ζ(s)| ≈ 0.0056 · near a known zero at t ≈ 14.13

w-plane · path of ζ(1/2 + it)

Height t = Im(s) along the critical line14.13

As you move up the midline where the real part equals 1/2, the output of zeta draws a path in the plane. Whenever that path hits the origin, zeta has a zero. The hypothesis says every nontrivial zero is one of those hits.

05 · Impact

Why the zeros are the last piece of the map

The primes are the atoms of the whole numbers. Gauss’s smooth guess n / log n already describes their average spacing. The nontrivial zeros of zeta are the fine print: each zero contributes a wave that corrects how the prime-counting function wobbles around that smooth curve.

If every nontrivial zero sits on the critical line, those corrections stay as tightly controlled as number theorists hope. A zero farther to the right would mean larger, more stubborn irregularities in the primes. A proof would also unlock a vast shelf of theorems already written under the assumption that the hypothesis is true. In short, it would turn the periodic table of numbers from a blurry photograph into a sharp one.

Dive deeper

← Back to Epilogue