AI Proved the Quasi-Riemann Hypothesis. What Happens Now?

19 October 2026

The announcement is careful to say that human experts have unpacked the proof. I keep returning to that verb, unpacked, as though the demonstration were a trunk carried down from an attic and found, on opening, to contain its own inventory. In the Compendio de álgebra especulativa attributed to one Aurelio Cáceres, a volume I have never been able to consult and whose catalogue entry I once copied from a bibliography of bibliographies, there is a theorem stated on page 214 and proved on page 214, the proof occupying the same line as the statement. The commentators, Cáceres notes, have never agreed whether this is economy or tautology.

What interests me is not the quasi-hypothesis, which I do not understand, nor the machine, which I distrust less than I distrust the word proved. It is the phrase what happens now. Every proof of a conjecture generates, alongside itself, a second conjecture: the conjecture of its consequences. This second conjecture is never proved. It is merely inhabited. The mathematicians who will spend the next decade deriving corollaries from a result none of them can fully retrace are walking a corridor whose far wall is a mirror, and the mirror is the corridor.

I think of the map that includes its own legend, and the legend that includes the map. Neither is false. Neither is complete. The staggering, if I may use the word of the quoted mathematician, is not that the machine arrived at the summit, but that we are told the summit has been unpacked - and that no one has yet unpacked the unpacking.

A proof that requires a proof of its own reception is no longer a proof. It is a library.

19 October 2026

A machine has proved something about the quasi-Riemann hypothesis, and men who understand it say the implications are staggering. Note the word: quasi. The proof is not of the thing itself but of its shadow, its near-relation, its cousin. This is the honest shape of every advance - we do not seize the infinite; we take hold of its hem.

I will not sneer at it. The geometers of my own day would have wept to see a demonstration no living hand could follow, checked and confirmed by the very minds it outran. That is a genuine wonder, and wonder is not a vice.

But map the wager, as I would map any bet. If the machine’s proof is sound, we gain a theorem and a method and a thousand doors opened. If it is subtly wrong - a flaw no human eye yet catches, buried in a chain too long to read - we lose not the theorem only, but the habit of trusting what we cannot verify. And if we decline to use such instruments at all, we lose the speed, the reach, the staggering consequences. The wager does not tell us the proof is true. It tells us how to stand while not knowing.

Here is what troubles me. A proof is not a proof because a machine asserts it; it is a proof because a mind can be led through it, step by step, and see that it must be so. When the chain grows longer than any life can walk, we are asked to accept the conclusion on authority - the authority of a process we do not inspect. That is not mathematics. That is faith wearing mathematics’ coat, and faith should at least be honest about its name.

I do not know whether the thing is proved. The proof that I cannot know is itself the finding. We stand in the middle: too near the machine to see its error, too far from the infinite to see its truth.

I stop here, not because the matter is finished, but because honesty requires it.

19 October 2026

The headline says a machine has proved the quasi-Riemann hypothesis, and that human experts have unpacked the proof. I notice which of those two clauses does the work. A proof is not a proof because a machine produced it, nor because experts have admired it. It is a proof because each step follows from the last by rules we can inspect. The word “unpacked” is doing something suspicious here - it suggests the experts have read it, which is not the same as having verified it. Reading a proof and checking a proof are different activities, and only one of them establishes anything.

I am told the implications are “staggering.” That is an aesthetic judgment, not a mathematical one. The question I would put to the mathematician is exact: which theorem, previously unproved, now follows, and by what chain? If the answer is a chain, then the chain can be examined, and the machine’s contribution reduces to having found it faster. If the answer is not a chain - if the experts accept the conclusion because the machine has been reliable before - then we have not a proof but a testimony, and testimony requires a different standard of evidence than demonstration.

There is a further matter. A machine that produces a correct proof and cannot explain why it is correct has given us a result without a reason. That is not nothing. But it is not what the word “proved” has meant, and the substitution of one sense for the other is the sort of verbal slippage that makes a dispute unresolvable until someone asks which sense is intended.

I do not doubt the theorem may be true. I doubt that we yet know it is, in the sense in which we know the things we can check.