At 2:19 AM on a Sunday that most of the world spent watching the World Cup final, a mathematician at Anthropic posted something that made math Twitter short-circuit. Levent Alpoge tweeted that Claude Fable 5 found a counterexample to the Jacobian conjecture, an open problem in pure mathematics that has sat unsolved since 1939.

The Jacobian conjecture asks a deceptively simple question. If you have a polynomial map from complex n-space to itself, and the determinant of its derivative matrix (its Jacobian) is a non-zero constant everywhere, does the map have to be invertible with a polynomial inverse? It sounds like the kind of problem that gets proposed at a conference and then settled over lunch. Instead it survived 87 years of attempted proofs, partial results, and false alarms.

Fable 5's candidate counterexample works in three-dimensional complex space. The polynomial map is:

F(x,y,z) = (
  (1+xy)^3 z + y^2 (1+xy)(4+3xy),
  y + 3x(1+xy)^2 z + 3xy^2(4+3xy),
  2x - 3x^2 y - x^3 z
)

Its Jacobian determinant is -2, constant and non-zero, and Alpoge identified three distinct input points that all map to the same output, proving non-invertibility. The entire counterexample fits in a tweet. A human can verify the checks in a few minutes with pencil and paper, or seconds with Wolfram Alpha.

AI math milestones timeline: From AlphaGo to Fable 5 Jacobian counterexample

Let me be clear about what actually happened, because the coverage has already started blurring the lines. Fable 5 generated a candidate construction and algebraic steps under time pressure. Alpoge said he prompted the model during the World Cup final. The model produced Wolfram-checkable intermediate claims. What it did not do is publish through refereed channels, close expert objections about dimension reductions or known special cases, or replace the standard human verification that mathematical truth requires.

The phrase "hand-checkable counterexample" is doing a lot of work here, and it is the most interesting part of the story. The value of an AI math result scales with how cheaply a human can verify it. A counterexample that fits in one tweet and survives two deterministic checks is useful even before peer review. A proof that requires a thousand pages of model-generated reasoning is not, because nobody can certify it. This is why the AI math community has started talking about verification as the real benchmark , not whether the model can produce a correct answer, but whether a domain expert can confirm it in reasonable time.

Community reaction landed somewhere between exhilaration and the kind of skepticism that healthy scientific fields produce. On Hacker News, a thread hit about 50 points with comments ranging from "you tweeted a refutation of an 85-year conjecture?" to jokes about the announcement format. Alpoge is not a random account , he is an Anthropic employee and working mathematician , which raises the prior that the thread is worth expert time faster than typical "proof in replies" spam. It does not raise the posterior to QED.

The explainx.ai analysis, published within hours, put it best: "No journal. No peer review. Fable 5.1 math reliability unclear , but the thread is worth parsing honestly for AI + math discourse in July 2026."

This result lands in a broader pattern that is getting harder to dismiss as coincidence. Google DeepMind's AlphaProof earned an IMO Silver medal in 2024. GPT-5.6 has been producing Lean-verified proofs in convex optimization. Now Anthropic's Mythos-class model has generated a candidate counterexample that domain experts are taking seriously enough to check. The trajectory suggests that the bottleneck in AI-driven math discovery is shifting from generation to verification , a very different problem from the one the field was working on two years ago.

If the counterexample survives expert scrutiny , and that is still an "if" , the Jacobian conjecture becomes a theorem about the limits of polynomial invertibility rather than an open question. The field would need to absorb a class of counterexamples and rewrite the parts of algebraic geometry and affine algebraic geometry that assumed the conjecture as a foundation. That kind of rewiring does not happen in a news cycle. It happens over months and years of preprint servers, seminar rooms, and journal referees.

What makes this moment worth paying attention to is not that a model solved a hard problem on a Sunday evening. It is that the output is structured so a human can check it, that the person who prompted it is credible enough to be taken seriously, and that the whole chain from model output to public verification took less than a day. That is a workflow that scales differently than the traditional cycle of years of conjecture, attempted proof, and eventual certification.

Whether the Jacobian conjecture falls or stands, the verification-first pattern is what will outlast this news cycle.

Sources