Riemann hypothesis (zeros on critical line)

Riemann 1859 conjectured: all non-trivial zeros of ζ(s) lie on Re(s)=1/2. Implies prime-counting refinement π(x) = Li(x) + O(√x ln x). Clay $1M Millennium Prize. Verified ~10^{13} zeros.