The Explicit Formula

Instead of counting primes directly, work with the Chebyshev function ψ(x) = Σ log p summed over every prime power pᵏ ≤ x. It's a staircase that jumps by log p at each prime power. Riemann (1859) and von Mangoldt proved the astonishing explicit formula:

ψ(x) = x − Σ_ρ x^ρ/ρ − log(2π) − ½log(1 − x⁻²)

The leading x is the smooth trend (the prime number theorem). The sum runs over the nontrivial zeros ρ = ½ + iγ of the zeta function. Each zero contributes an oscillating term; pairing ρ with its conjugate gives a real wave:
−2√x · cos(γ log x − φ) / |ρ|
a cosine in log x with frequency γ. The white curve above is the true staircase; the gold curve is the formula with however many zeros you've switched on. With 0 zeros it's just the line x; add zeros and ripples appear, sharpening — each new wave nudges the curve toward the exact steps. The discontinuous, irregular primes equal a smooth line plus an infinite chord of pure tones.

What the zeros mean physically: each zero is a frequency, and γ is its pitch. The primes are the spectrum of this music. If you handed a physicist these frequencies, they'd guess they were the energy levels of some quantum system — and indeed the spacings of the zeros match the eigenvalue statistics of random Hermitian matrices (the GUE ensemble), the same statistics as heavy-nucleus energy levels. This is the Hilbert–Pólya dream: that the zeros are eigenvalues of some self-adjoint operator, which would prove the Riemann Hypothesis.

The Riemann Hypothesis — that every nontrivial zero has real part exactly ½ — is the most famous open problem in mathematics (a Clay Millennium Problem). It controls the error term in the prime count: if true, the primes are as regular as they could possibly be, the waves above stay bounded by √x, and a vast web of consequences across number theory follows. Over 10 trillion zeros have been checked; all lie on the line. The proof has resisted 165 years of effort.