AIProofWatch
← Explore interestsIndividual problem

The Riemann hypothesis

The Riemann hypothesis predicts that every nontrivial zero of the Riemann zeta function lies on the line with real part one half.

Progress records 2

Understand the problem ↓

2 records · How we rate progress

Understanding the problem

Read the background

The Riemann hypothesis predicts that every nontrivial zero of the Riemann zeta function lies on the line with real part one half.

The zeta function connects an analytic object with the prime numbers. The Riemann hypothesis says its nontrivial zeros have real part one half. The familiar convergent series defines zeta only in part of the complex plane; the full statement uses its analytic continuation.

The hypothesis constrains fluctuations in the distribution of primes. Checking many zeros provides finite evidence. A full proof must cover every nontrivial zero, and a counterexample must rigorously establish a zero away from the critical line. Conditional consequences should be clearly identified as conditional.

Why it matters

Its truth would sharpen our understanding of the distribution of prime numbers.

What counts as progress

A valid proof, a counterexample, a substantial theorem, or a carefully scoped formalization. Checking finitely many zeros is not a proof of the full hypothesis.

What to watch for

  • For numerical claims, specify the region searched and the certification method.
  • For partial theorems, state the conclusion and assumptions, including any use of the hypothesis itself.
  • For formal proofs, inspect the exact statement and analytic dependencies as well as successful checking.

Background review: 2026-10-11. Selected sources:

Website timeline

Publication dates and editorial changes.