The Absurd Mathematician

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. For more than a hundred and sixty years the strongest minds available have put their shoulders to that stone and pushed it directly at the summit of a head-on proof.

The mountain has beaten all of them, and it does not beat them by looking hard. It beats them by looking easy. James Maynard has said the problem almost sucked you in, and that it looked far more innocent than it was. That is the specific character of the trap: the statement is short, the object is elementary, and the difficulty is entirely structural.

What the modern mathematician does next is delightfully absurd. Unable to reach the peak, they decline to despair and instead come at the mountain sideways. If the hypothesis will not be proved outright, then prove that the exceptions to it are strictly bounded. Take the foothold on the cliff face and call it what it is — progress.

The 2024 Guth–Maynard result is the cleanest example on record. They did not reach the summit. They translated the zero-density question into Dirichlet polynomials, built matrices, recast the problem as a hunt for a largest eigenvalue, and then played a chess gambit: they deliberately refused the standard simplification, letting the mathematics look bulkier and more chaotic in the short term in order to expose a deeper symmetry that the tidy version had been hiding.

Maynard is candid that these are probably not the techniques that will finish the job — the hypothesis itself will need some big idea from somewhere else. And yet they climbed higher than anyone had in over eighty years. The value was never a static victory. It was the creative, defiant climb.

This is the point at which the absurd joy of Sisyphus meets the playful logic of Piet Hein. Sisyphus's rock is not a passive lump of granite. It is an opponent with a position. Hein put the whole relationship in four lines: problems worthy of attack prove their worth by fighting back.

An easy mountain is not worth climbing. The Riemann Hypothesis is the ultimate worthy opponent precisely because it fights back with elegance rather than mess — it defeats each new method on structural grounds, which is why every serious attempt has had to invent new analysis, new logic, new geometry to get any purchase at all. The failed attacks built most of analytic number theory as a by-product.

That is the honest ledger of the last century and a half. The stone has not moved to the top. The people pushing it have been comprehensively rebuilt.

There is a logical climax to the endless loop, and it is stranger than the metaphor that got us here. 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.

The consequence is a genuine trapdoor. If RH is false, a counterexample is a finite, computable object. The program would eventually reach it, print NO, and the hypothesis would be refuted in finitely many steps — which means falsity is, in principle, always demonstrable.

Turn that around. If RH can be shown independent of a sound arithmetical theory such as ZFC — neither provable nor refutable in it — then no counterexample exists, because a counterexample would have furnished a refutation. Independence would therefore entail truth. Unprovability, in this one unusual case, is a proof.

Two guardrails, because this is where popular accounts overreach. The argument requires the theory to be sound (arithmetically correct), not merely consistent; and independence is not a thing anyone has established, only a possibility Martin Davis and Paul Cohen both took seriously after long, failed attacks. What is established is the shape of the statement, and the shape is what makes the paradox available at all.

The image survives the caveats intact. Like Sisyphus, the calculation must run to infinity without ever reaching a closed end. Being condemned to push the arithmetical stone forever would be the strongest available testimony to the truth of what we are pushing.

The sideways climb has now taken a turn nobody on the analytic side arranged. The construction by ShiJie Wei, Tao Xin, Gui-Lu Long and collaborators — posted in November 2025, now published in Nature Communications — establishes a direct correspondence between the nontrivial zeros of the zeta function and dynamical quantum phase transitions in two realizable quantum systems, tracked by the averaged accumulated phase factor and by the Loschmidt amplitude.

The move that unlocked it was a change of variable. For nearly a century the Hilbert–Pólya programme looked for the zeros in the static energy levels of some undiscovered operator, and identifying — let alone scaling — such a stationary system proved intractable. The authors asked what happens if you use time instead of energy. Time is the most precisely controlled variable in quantum computing, so a temporal framework of dynamical transitions can be swept for the zeros rather than reverse-engineered from a spectrum.

The mapping is unusually literal. For the complex argument s = σ + it, the real part σ becomes the system's temperature and the imaginary part t becomes the evolution time. The critical strip becomes a physical regime; the critical line σ = 1/2 becomes one exact temperature. They prepare a many-body system coupled to a single probe qubit in thermal equilibrium, then drive it out of equilibrium and watch what the probe does.

The observed behaviour is clean. Off the critical line — at any temperature other than the critical one — the system evolves smoothly. Tuned precisely to σ = 1/2 and allowed to run to a time t corresponding to a Riemann zero, the probe qubit's coherence collapses and the signal vanishes. They ran this on a five-qubit nuclear magnetic resonance processor using the nuclear spins of a molecule of three fluorine and two hydrogen atoms. The processor is, in effect, a physical scanner: each zero registers as a sudden qualitative phase transition.

Numerical simulation of the Loschmidt amplitude pushed the same correspondence out to the trillionth nontrivial zero, with the collapse points matching the true mathematical values more precisely as the zeros grow larger. And the resource accounting is the reason anyone should care computationally: verifying zeros far out on the critical line is exponentially expensive classically, while the proposed digital quantum algorithm needs only polynomial resources.

This is verification machinery, not a proof, and the authors do not pretend otherwise — a physical experiment can only ever check finitely many zeros. But it belongs in this essay because it is the sideways move in its purest form: unable to push the stone up the analytic face, someone built an apparatus in which the stone's position can be read off a phase transition. The authors now propose turning the same temporal framework on the Witten index in string theory and on the thermodynamics of black holes. The mountain is unchanged. The climbers keep finding new cliffs.

There is a deeper absurdity underneath the climb, and it is not about the difficulty of the summit. It is about who wrote the map. Human intelligence notices a pattern in nature and builds a language to describe it — axioms, symbols, formal systems. We call this invention. We sign our names to theorems, name the functions after ourselves, and speak as if the mathematics were ours.

Then the same structures turn up in places we did not put them. The statistics of the zeta zeros match the statistics of quantum chaotic spectra. The critical line appears as the onset of a dynamical phase transition in a five-qubit spin system. The geometry we drew on paper turns out to be the geometry of the world. The map we thought we were sketching from imagination was a tracing of something already there.

This does not make the work worthless. It makes the authorship claim unstable. The mathematician is neither pure inventor nor pure discoverer, but something more uncomfortable: an archaeologist who has to forge his own tools, then pretends the tools were the find. The absurdity is not that the stone is heavy. The absurdity is that we keep trying to take credit for its shape.

There is one more humility waiting at the end of this climb, and it is the hardest for a species that builds instruments to accept. Even the most elegant correspondence — the zeta zeros mapped to a quantum phase transition, the critical line glowing in a five-qubit system — is tangential to the universe at best. It is not the universe handing over its blueprint. It is a mental model that lets us understand the universe a little better than we did before.

That 'little better' is the whole prize. Science is not a vault of finished answers; it is an emergent conversation between the world and the minds trying to read it. Every measurement is a snapshot taken while the river keeps moving. Every theory is a raft built from the lumber of earlier theories, and the river does not pause because the raft is finally complete.

The human temptation is to make the stone stop rolling. We want to freeze the frame, extract a final number, write the closing sentence. But the stone rolls because the mountain is alive. The Riemann Hypothesis is not a plaque waiting to be hung; it is a question that keeps reshaping the questions around it. To measure is to interact. To model is to participate.

This is not a surrender to vagueness. It is the opposite. A model that knows it is a model can be improved without embarrassment. A map that knows it is a map can be redrawn when the coastline shifts. The absurd mathematician does not claim to have captured the mountain. They claim the honour of having climbed a little higher, seen a little farther, and returned with a better map.

From the outside, a life spent on pure mathematics must look like a quiet form of madness — a solitary figure straining at an immovable boulder on a vertical cliff, watching it slip and roll back down to the valley, and then walking down after it.

Look closely at the actual behaviour, though, and the number theorist is not the tragic figure in that picture. They are the absurd hero of it: the one who has fully registered that the summit may be unreachable, declined both despair and false hope, and gone back to the stone anyway because the climb is where the meaning is kept.

They stand at the bottom of the mountain, look up at the towering, beautiful critical strip, adjust their glasses, and with a defiant smile put a shoulder right back to the stone.