← All problems

ζ
Clay Millennium Problem

Riemann Hypothesis

Do all non-trivial zeros of the Riemann zeta function have real part exactly 1/2?

Progress

55%
Conditional reduction via two routes
Current approach
Two independent routes: (1) Moment–Hankel positivity via superquadratic growth theorem, (2) Grade-Shadow route bypassing shifted divisor problem.
Status notes
Selected combinatorial and logical components are formalized. The analytical assumptions remain explicit review targets.

Direct contributions

3 papers