← All problems

Riemann hypothesis

Very hard
riemann-hypothesis

Statement

Prove that every nontrivial zero of the Riemann zeta function has real part exactly — or exhibit a nontrivial zero off the critical line.

Current frontier

Clay Millennium Prize problem (), open since 1859. Over (five-twelfths) of nontrivial zeros are proven on the line (Pratt–Robles–Zaharescu–Zeindler 2020, after Levinson and Conrey), and the first zeros are verified on it with none found off it.

When this counts as solved

BINARY

PROOF_COMPLETE for a full proof, or COUNTEREXAMPLE for an explicit zero with . Raising the on-line proportion, widening zero-free regions, or proving an equivalent reformulation is not terminal.

Classification

Binary