July 19, 2026 was the day of the World Cup final. The following day, a mathematician posted something on social media. It opened with “hello there,” closed with a casually misspelled “thanx,” and in between sat three lines of polynomials.
Those three lines killed a mathematical conjecture that had stood open for eighty-seven years.
There was no paper. No press conference. No proof running to hundreds of pages. Anyone with math software on their laptop could confirm the result in five minutes. A problem that had consumed generations of mathematicians ended its life as a tweet — a format that sinks from view within a week.
I want to tell this story. You don’t need any mathematics to follow it. In fact, the best parts of this story have nothing to do with mathematics at all.
A Perfect Map
First, what the conjecture actually asks.
Picture a map. A good map should have this property: any small patch of it is clear, accurately scaled, with nothing overlapping and nothing torn. Zoom in anywhere you like, and you can’t find a flaw.
Now ask a question: if every local patch of a map is perfect, does that guarantee the map as a whole is trustworthy — that every point on the map corresponds to exactly one place in the real world?
Intuition says yes. But think about kneading dough. As you knead, the dough’s volume never changes, and no small piece of it ever gets crushed or torn — every “local patch” behaves impeccably. Yet after a few folds, two specks of flour that started far apart end up pressed together. Locally flawless everywhere; globally, folded.
That is what the Jacobian conjecture asks about — restricted to an especially well-behaved class of transformations, the ones defined by polynomials (the kind of expressions you met in school, built from adding and multiplying). The conjecture asserted: for these transformations, local perfection everywhere (in the jargon, “the Jacobian determinant is a nonzero constant”) guarantees the whole thing never folds. You can always recover exactly where you came from.
In other words, mathematicians were betting that polynomials are rigid — too stiff to knead a crease into.
The bet ran for eighty-seven years. In July 2026, the table showed its cards: they fold. The transformation defined by those three lines of polynomials is locally perfect at every single point, yet it presses three different points onto the same spot. Anyone standing at that spot, holding this “perfect map,” can never know where they came from.
A Conjecture Born Wrong
The conjecture is named for the German mathematician Carl Jacobi, who died in 1851 and never heard of it. The tool it uses to measure “local perfection” bears his name, and the conjecture inherited it — standard practice in mathematics, where the person a problem is named after often has little to do with the person who posed it.
The true origin surfaced only months ago. In early 2026, researchers searching a literature database for an archaic German mathematical term dug up a paper from 1884, in which the Prague mathematician Ludwig Kraus had “proved” the conjecture as a theorem. The final step of his proof was wrong. For the next hundred and forty years, no one remembered him.
Which is to say: this conjecture entered the world in the form of a flawed proof. It reads like a prophecy.
In 1939 the German mathematician Ott-Heinrich Keller posed the problem formally, and the conjecture has dated its life from his paper ever since. Over the following decades it accumulated a reputation unique in mathematics: it attracted wrong proofs. At least five incorrect proofs made it into peer-reviewed journals; the ones caught before publication are beyond counting. In 2004 came a famous fiasco — news of a new proof went out in a mass email from a prominent mathematician, the community briefly lit up, and then a hole was found. One specialist devoted part of a monograph to cataloguing the failed proofs over the years, the way a coroner keeps files.
Why did so many brilliant people walk into the same wall? Because the problem looks so simple. Stating it requires nothing beyond first-year calculus; any undergraduate can understand the question in ten minutes. A problem anyone can read, standing unclaimed for eighty-seven years — that combination is irresistible to mathematicians, which made it one of the most efficient career-shredders in the field.
A Man It Cost
Among the people whose lives this conjecture bent, one is famous far beyond mathematics: Yitang Zhang.
In 1985, Zhang came from Peking University to Purdue for his PhD. He spent six and a half years there, and his doctoral thesis was titled The Jacobian Conjecture and the Degree of Field Extension. The thesis was finished; the conjecture, of course, was not. Worse, he and his advisor parted on bad terms, he had no letters of recommendation, and for years afterward he could not find an academic position. The rest of the story many people know: he kept the books at a friend’s fast-food restaurant, worked at a motel, and lived for over two decades outside the sightlines of academia. Then in 2013, at fifty-eight, he proved that the gaps between primes are bounded — and overnight shook the entire mathematical world.
Zhang’s eventual triumph had nothing to do with the Jacobian conjecture. But the best six and a half years of his youth were paid to it. He was not alone — he is simply the only one among all the people this problem consumed who won so spectacularly elsewhere that we remember his name.
Looking back, the ledger of those eighty-seven years is full of entries like this: wrong proofs, spent years, students and advisors who stopped speaking. And the manner of the conjecture’s death: three lines of polynomials and a “thanx.”
Death in an Afternoon
To be fair, mathematicians did not come away from those eighty-seven years empty-handed. They proved the conjecture holds when the polynomials are simple enough (low degree). They verified that in two dimensions, no counterexample exists up to a remarkable level of complexity. They discovered that the problem is deeply linked to the algebraic structure of quantum mechanics, and it earned a place on a famous list of the most important mathematical problems for the twenty-first century. All of this solid work assembled a mental map: if a counterexample existed at all, it had to be hiding somewhere immensely complicated and far away.
The trouble was precisely that mental map. Theory had ruled out simple counterexamples in two dimensions, so everyone quietly assumed the same held in higher dimensions — and the searchlight was never seriously aimed at the shallow waters of dimension three. The counterexample just found is embarrassingly small: three variables, degree no more than seven, coefficients you can write with single digits and simple fractions. It was not lurking in the abyss. It was standing by the door.
This is the old joke about searching for your keys under the streetlight — except this time the keys really were lying in the dark, and within arm’s reach. Eighty-seven years of “no one has found a counterexample” turned out to prove not that no counterexample existed, but that no one had ever looked in the right direction.
Then there is the event itself. According to the mathematician who announced it — a researcher at the AI company Anthropic — the counterexample was produced by an AI model working under his direction, prompted by a question from a fellow mathematician. The example was subsequently checked by another company’s automated proof system. Formal peer review is still underway, but a result of this kind differs fundamentally from an ordinary mathematics paper: it is not hundreds of pages of argument to be checked line by line, but a five-minute computation that anyone in the world can — and many already have — reproduced on their own machine. Finding it took eighty-seven years. Confirming it took an afternoon.
One small detail captures the absurdity of the moment. Someone added the result to the Wikipedia article, citing the tweet as a source — and the edit was promptly reverted, because under the rules, a tweet is not a reliable source. The rules are not wrong. It’s just that when the rules were written, nobody imagined an eighty-seven-year-old problem would end this way.
Coda: Keller’s Two Conjectures
Which brings us back to Keller.
He was born in Frankfurt in 1906 and died in 1990. In his lifetime he posed two famous conjectures. One, from 1930, grew out of his doctoral thesis on tiling space with identical cubes: it asked whether such a tiling must always contain two cubes that meet face-to-face. The other, from 1939, was the Jacobian conjecture.
The cube-tiling conjecture met its end beginning in 1992, when mathematicians — using a graph-theoretic reformulation and computer search — established, step by step, that it is true in seven dimensions and below and false in every dimension above; the final piece was closed by an automated solver. And the Jacobian conjecture met its end this summer, in three lines of polynomials written by an AI model.
One man, two conjectures, both of which outlived him — and both answered by machines he never saw.
I don’t quite know what to call this. It isn’t sad — a problem getting solved is never a bad thing, and the understanding mathematicians built over eighty-seven years is not wasted; it now points somewhere new: Why might two dimensions still be true? What extra conditions would rescue a usable theorem? But it isn’t merely news, either. The gap between finding an answer and checking one was among the deepest chasms in mathematics, and entire lifetimes were spent filling it. Now machines are taking over the finding half, while the checking half has become as cheap as tap water. What Yitang Zhang could not buy with six and a half years was laid out in front of everyone in a single afternoon.
Eighty-seven years, and five minutes. The distance between those two numbers is the doorway we are all walking through right now.
Note: The counterexample was announced on July 20, 2026, and has been independently verified by symbolic computation and by an automated proof system; formal peer review is still in progress. The two-dimensional case of the Jacobian conjecture is untouched by this counterexample and remains open.
Principal Sources
- Wikipedia: Jacobian conjecture / Ott-Heinrich Keller / Keller’s conjecture / Yitang Zhang
- L. O. Rodríguez Díaz, On the Origin of the Jacobian Conjecture (historical study of Kraus’s 1884 paper), arXiv:2512.23614
- Wolfram MathWorld: Jacobian Conjecture (on the history of erroneous proofs, including the 2004 episode)
- Alec Wilkinson, The Pursuit of Beauty, The New Yorker, 2015 (profile of Yitang Zhang)
- Yitang Zhang, The Jacobian Conjecture and the Degree of Field Extension, PhD thesis, Purdue University, 1991
- Hacker News discussion thread and event coverage (OfficeChai, ForkLog, et al.), July 20–21, 2026