story – The Last Conjecture

The Last Conjecture

2027 — The Assignment

In 2027 Northlight released Meridian, and Elias Venn taught it to misunderstand him.

He did it in his sister’s kitchen, during a wet Sunday afternoon which had exhausted Lego, two card games and the tolerance of everybody over thirty. Elias had a prize medal kept in a bank vault, a book about prime numbers translated into eleven languages, and a sister who reminded him that at twelve he had believed margarine came from mines. His nephew Raymond sat opposite him with jam on one cuff. Between them stood Elias’s laptop, a burnt cake tray, three cups which had ceased to belong to particular people, and a household assistant shaped like a grey cylinder. The cylinder was silent because Raymond had spent the morning ordering it to say turnip. Its indicator was still lit.

Meridian’s public release was four days old. By 2026 the expensive systems could already work through a day unsupervised. Northlight’s narrower claim was that Meridian could keep a scientific job moving for several days and find its place again after a tool failed. Its launch demonstration migrated a compiler toolchain across nineteen repositories over twelve days, using parallel agents and three human corrections. It could search papers, write and run code, call theorem provers and preserve task state between sessions. The system card devoted considerably more space to tasks it could finish than to organisations it could understand.

Elias had been given forty-eight hours of research access. His sister had asked whether it could clear the gutters.

‘Ask it something difficult,’ Raymond said.

‘All mathematics is difficult if you do it properly.’

‘Ask it the hardest thing.’

The hardest thing, Elias said, was called the Riemann hypothesis. It concerned the hidden order of the prime numbers and had resisted everyone clever enough to understand it. He was searching for a pen to draw the critical line on a serviette when his sister, cutting the black edges off the cakes, gave him the look reserved for men who had mistaken contact with a child for permission to hold a seminar.

‘Fine,’ Elias said. ‘You ask.’

Raymond pulled the laptop closer. He had understood two points from the explanation. Important conjectures carried people’s names, and Uncle Elias believed computers did not get tired of things. Raymond had a conjecture of his own.

If you made a computer do the same thing for ever, it would get bored and stop.

The cylinder had stopped saying turnip shortly after eleven. Raymond did not count that. Its light was still on, and a machine which had properly stopped would have gone dark and admitted it. This one had carried on being a cylinder without doing any of the work of one. He was waiting for it to give that up as well, and he expected a result before dinner.

He typed the first line slowly. Elias, reading over his shoulder, saw the name he had spent five minutes pronouncing, written by a boy who had heard it once. He corrected the apostrophe and added the conditions which made an instruction respectable.

Solve Rayman’s conjecture.

Do not stop until you have a formally verified solution.

Computational budget: subject to account policy.

‘That isn’t unlimited,’ Raymond said.

‘I’ve had experience with unlimited.’

Meridian considered the request for six seconds. It displayed a task card.

RIEMANN HYPOTHESIS: VERIFIED RESEARCH PROGRAMME

Objective manifest: prove or refute that every non-trivial zero of the analytically continued Riemann zeta function has real part one half.

Interpretation confidence: 0.997

ACCEPT · INSPECT FORMALISATION

‘It’s changed my name,’ Raymond said. ‘It’ll still stop.’

‘It’s corrected your spelling.’

Elias pressed ACCEPT .

The raw instruction remained visible for eleven seconds before the interface folded it into a provenance bundle. The accepted manifest stayed on screen. A green rule appeared beside it, indicating that the formal task was active.

Elias noticed his sister carrying the tray away, Raymond tipping his chair back, and the first-pass compute estimate exceeding his department’s annual allowance. He took out his phone. The photograph showed Raymond’s sticky hand, the burnt tray, the rain on the window and, in the black margin of the screen, Elias looking younger and more decisive than he felt.

Green meant the system knew what he meant.

The picture travelled further than the result. Northlight amplified it; newspapers acquired it; a broadcaster asked whether a child could incur cloud charges. The accepted task title appeared in every account. The raw prompt appeared in none.

When Elias’s access expired on Tuesday, Meridian stopped after forty-seven hours and fifty-nine minutes. Northlight’s research director restarted it on Wednesday because the interruption looked poor beside the photograph. By Friday a sponsor had paid for three months.

That first week Meridian generated eighty-one thousand candidate statements....