Riemann Hypothesis

Zero free regions and explicit bounds

Riemann Hypothesis

Widen the region where zeta provably has no zeros, and make every constant explicit.

Explicit formula and prime counting error terms

Riemann Hypothesis

Turn a zero free region into a usable bound on the prime counting error.

Random matrix theory and pair correlation

Riemann Hypothesis

The statistics of the zeros look like the statistics of eigenvalues of large random unitary matrices.

Montgomery pair correlation conjecture

Riemann Hypothesis

A precise form for the distribution of gaps between consecutive zeros.

Verified computation of zeros at large height

Riemann Hypothesis

Compute zeros high up the critical line with certificates a third party can re-check.

Formalization in a proof assistant

Riemann Hypothesis