What is the Riemann Hypothesis?

The Riemann Hypothesis is one of the most famous unsolved problems in mathematics.

Its statement is surprisingly short. It concerns the places where a function called the Riemann zeta function becomes zero.

But behind that simple statement is something much bigger: the distribution of prime numbers.

The short version

Prime numbers — 2, 3, 5, 7, 11, 13, 17 and so on — are the indivisible building blocks of the positive integers. Every whole number greater than 1 can be broken down into primes in essentially one unique way.

And yet the primes themselves seem to appear rather irregularly.

There are broad statistical laws describing how often primes occur. But if you ask exactly how far the primes can wander from those average patterns, the answer is connected to a completely different-looking object: a function of complex numbers called the Riemann zeta function.

The Riemann Hypothesis says that all of its non-trivial zeros lie on one particular vertical line in the complex plane:

(The non-trivial zeros are claimed to sit exactly halfway across the critical strip.)

That is the hypothesis.

It has resisted proof for more than a century and a half.

Start with the primes

A prime number is a positive integer greater than 1 whose only positive divisors are 1 and itself.

The first few are

Primes matter because multiplication lets them generate all the other positive integers. For example,

(60 is built from two 2s, one 3 and one 5.)

This is not just a convenient way of writing 60\. The fundamental theorem of arithmetic says that every integer greater than 1 has a unique prime factorisation, apart from the order in which the primes are written.

So primes are fundamental.

What is much less obvious is how they are distributed.

As numbers become larger, primes become less frequent overall. But they do not arrive at perfectly regular intervals. Sometimes several are relatively close together. Sometimes there are long gaps.

Mathematicians can describe their average behaviour extremely well. The harder question is how large the fluctuations around that average behaviour can become.

That is where the Riemann zeta function enters the story.

A function that secretly contains the primes

For a real number $s>1$, the zeta function can first be encountered through an infinite sum:

(This adds one term for every positive integer; when $s>1$, the terms become smaller as the integers grow.)

At first sight, there are no primes here at all. Every positive integer appears.

But Euler discovered a remarkable alternative way of writing the same function:

(The same zeta function can be rebuilt using only prime numbers. This is the bridge between zeta and the primes.)

where the product runs over every prime number.

This is the crucial bridge.

The sum is built from all the positive integers. The product is built entirely from primes. They describe the same function.

The zeta function therefore carries information about the primes inside its structure.

For the formulas above, we are initially in the region where the real part of $s$ is greater than 1\. Mathematics then allows the zeta function to be extended — by analytic continuation — to almost the whole complex plane. The exception is $s=1$, where the function has a pole.

And once we look at this extended function, an extraordinary pattern appears.

What is a complex number?

The input $s$ to the zeta function need not be an ordinary real number.

It can be a complex number,

($\sigma$ is the left-right coordinate and $t$ is the up-down coordinate in the complex plane.)

where $\sigma$ and $t$ are real numbers and $i$ is the square root of $-1$.

You can picture a complex number as a point on a plane.

The horizontal position is its real part, $\sigma$.

The vertical position is its imaginary part, $t$.

So asking where the zeta function is zero becomes a geometric question:

At which points in this plane does $\zeta(s)=0$?

What is a zero?

A zero of a function is simply an input at which its output is zero.

For example, if

then $x=3$ is a zero because

The zeta function also has zeros.

Some are relatively straightforward. They occur at the negative even integers

and are called the trivial zeros.

The mysterious ones are the non-trivial zeros.

Mathematics tells us that these non-trivial zeros lie inside a vertical region of the complex plane called the critical strip:

(Every non-trivial zero is known to lie somewhere between the vertical lines 0 and 1.)

The Riemann Hypothesis makes a much stronger claim.

It says that every single one of them lies exactly in the middle of that strip.

The critical line

The middle of the critical strip is

(RH says the non-trivial zeros all land exactly on the middle line, at one-half.)

This is called the critical line.

Re(s)=0          Re(s)=1/2          Re(s)=1
   |                 |                 |
   |                 o                 |
   |                 o                 |
   |                 o                 |
   |                 |                 |
       <------ critical strip ------>

The zeta function has an important symmetry, arising from its functional equation, which makes the line $\operatorname{Re}(s)=1/2$ a natural centre of the problem.

Many non-trivial zeros are known, and enormous numerical searches have found zeros lying on this line.

But the hypothesis is not:

Lots of zeros lie on the critical line.

Nor is it:

The zeros we have checked lie on the critical line.

It is:

Every non-trivial zero of the Riemann zeta function has real part exactly $1/2$.

There are infinitely many non-trivial zeros.

That word every is what makes the problem so difficult.

Why should zeros of a complex function tell us anything about primes?

This is one of the most beautiful parts of the subject.

The primes and the zeros are connected through formulas in analytic number theory that translate information about one into information about the other.

Very roughly, the average distribution of the primes gives the main shape of the story.

The zeros of the zeta function govern much of the fluctuation around that average.

One way to think about it is that there is a broad trend describing how primes thin out as numbers get larger, but superimposed on that trend are finer oscillations. The positions of the zeta zeros encode those oscillations.

The Riemann Hypothesis would place a remarkably strong restriction on them.

If it is true, many estimates concerning the distribution of primes become much sharper. It would tell us that the irregularity of the primes is, in an important mathematical sense, tightly controlled.

It would not suddenly make the primes regular.

It would tell us something profound about how irregular they are allowed to be.

Why doesn't numerical evidence settle it?

Computers can calculate zeros of the zeta function to very high precision.

That is extremely useful evidence.

But no matter how many individual zeros are checked, there are always infinitely many more.

Suppose you inspect the first million zeros and they all lie on the critical line. That does not logically exclude the possibility that a later zero lies elsewhere.

The same remains true if you inspect vastly more than a million.

A finite calculation can test an enormous region.

The Riemann Hypothesis makes an infinite claim.

That gap is the difference between numerical evidence and proof. If you want to see why that distinction matters even after trillions of successful checks, continue with Why prove the Riemann Hypothesis?.

What would a counterexample look like?

To disprove the Riemann Hypothesis, something quite different would be enough.

You would need just one genuine non-trivial zero whose real part is not $1/2$.

For example, imagine a non-trivial zero at

(A single genuine zero with real part 0.51 would be enough to show that RH is false.)

If this occurred for some real value of $t$, the Riemann Hypothesis would be false.

One counterexample can defeat a statement containing the word “every”.

Proof works in the opposite direction. A proof of the Riemann Hypothesis must establish that no counterexample can occur anywhere among the infinitely many non-trivial zeros.

This asymmetry — proof requires control of the whole infinite statement, while falsification can require only one counterexample — is important throughout mathematics.

What would solving it mean?

A proof would settle that every non-trivial zero lies on the critical line.

A counterexample would settle that at least one does not.

Either result would resolve the hypothesis.

But many interesting pieces of mathematics surrounding RH fall short of either outcome. Mathematicians study equivalent formulations, sufficient conditions, bounds, transforms, positivity properties, kernels, spectral interpretations and many other related structures.

Some approaches succeed in proving useful intermediate results.

Some fail.

A failed route can still be informative if it shows precisely why an appealing idea cannot work.

The status of the Riemann Hypothesis itself does not change every time a proposed route succeeds or fails.

It remains an open problem until the hypothesis itself is proved or refuted.

Where Riemann Console fits

Riemann Console records an independent research programme exploring mathematical structures related to the Riemann Hypothesis. The released part of that work is collected in the public Research map.

Some public records describe promising structures. Others deliberately record failed conditions, counterexamples and retired routes.

That distinction matters.

Showing that a particular proposed condition is false does not show that the Riemann Hypothesis is false.

Likewise, finding an interesting representation or a condition that would be sufficient for RH does not prove RH unless the required condition is itself established with the necessary generality.

The purpose of the public record is therefore not to present a march towards a predetermined conclusion.

It is to make the route visible — including the places where an idea survives testing and the places where it does not.

The Riemann Hypothesis remains unproved.

A small glossary

Prime number

A positive integer greater than 1 divisible only by 1 and itself.

Riemann zeta function

A complex function intimately connected to the distribution of prime numbers.

Complex number

A number of the form $s=\sigma+it$, with a real part $\sigma$ and an imaginary part $t$.

Zero

A point where a function takes the value zero.

Trivial zeros

The zeta-function zeros at the negative even integers $-2,-4,-6,\ldots$

Non-trivial zeros

The other zeros of the zeta function. These lie in the critical strip.

Critical strip

The region

Critical line

The vertical line through the centre of the critical strip,

Riemann Hypothesis

The conjecture that every non-trivial zero of the Riemann zeta function lies on the critical line.

The one sentence to remember

If you forget everything else on this page, keep this:

The Riemann Hypothesis says that all the non-trivial zeros of a function deeply connected to the prime numbers lie exactly on the central line $\operatorname{Re}(s)=1/2$.

The remarkable part is not that the statement is difficult to understand.

It is that nobody yet knows how to prove that it is always true.