The Absurd Mathematician

To the outside world, a life spent in pure mathematics must look like a form of madness — a quiet, intellectual rendering of Camus's Sisyphus, a solitary figure shouldering a massive immovable stone up a vertical cliff, only to watch it slip and roll the whole way back down to the valley. Look closely at the struggle over the Riemann Hypothesis, though, and the number theorist is not the tragic figure in that painting. They are the absurd hero of it.

Riemann conjectured in 1859 that every nontrivial zero of the zeta function lies on a single vertical line in the complex plane, where the real part is exactly one half. The mountain has beaten all of them, and it does not beat them by looking hard. It beats them by looking easy.

Unable to reach the peak, the modern mathematician declines to despair and comes at the mountain sideways. If the hypothesis will not be proved outright, then prove that the exceptions to it are strictly bounded. The 2024 Guth–Maynard result is the cleanest example on record: a deliberate refusal of the standard simplification, letting the mathematics look bulkier in the short term in order to expose a deeper symmetry the tidy version had been hiding.

The full essay, with status labels, grooks, falsifiers, and sources, is published separately as The Absurd Mathematician.

The struggle itself toward the heights is enough to fill a human heart. One must imagine Sisyphus happy.

Problems worthy / of attack / prove their worth / by fighting back.

Robin's theorem establishes that the Riemann Hypothesis is equivalent to a simple computable arithmetic inequality holding for every integer above 5040. That makes RH a Π⁰₁ statement: equivalent to the claim that a specific program, checking one integer after another forever, never prints NO.

If RH is false, a counterexample is a finite, computable object, so falsity is in principle always demonstrable. Turn that around: if RH could be shown independent of a sound arithmetical theory, then no counterexample exists, because a counterexample would have furnished a refutation. Independence would therefore entail truth. Unprovability, in this one unusual case, would be a proof.

Two guardrails, because this is where popular accounts overreach. The argument requires the theory to be sound, not merely consistent; and independence is not a thing anyone has established, only a possibility that Martin Davis and Paul Cohen both took seriously after long, failed attacks.