On Sunday night, Anthropic researcher Levent Alpöge casually tweeted a surprisingly simple counterargument to the Jacobian Conjecture, a mathematics problem that has been unproven for over 80 years. Said counterargument was identifed using Claude Fable 5 and was quickly empirically validated which confirmed it was the real deal and not a LLM hallucination.
I won’t explain the proof further as I’m not qualified. Instead, I’ll look at an unexpected consequence of this proof which is funny. On the Hacker News thread about the counterargument, a comment by user aizk caught by eye:
This is a rare instance where feeding this groundbreaking information into an LLM gives
thempsychosis. I fed this to claude code and watched it verify the result in 7 different ways to be 100% certain, and it was just flabbergasted. Quite remarkable.
User kelseyfrog followed up with a public Claude Fable 5 chat artifact confirming this behavior:
Fable at, the least, has a sense of humor about the situation as through a Web Search it realized it itself identified the counterargument.
Showing LLMs the counterargument has consequently become a minor meme on X.
The counterargument to the Jacobian Conjecture creates a logical paradox for modern LLMs: they (in theory) have enough math skills such that they can easily compute the Jacobian to formally verify the counterargument, but its own knowledge base is locked prior to July 19th 2026 where all it knows is that the Jacobian Conjecture is unsolved and a random chat user providing such a proof is highly unlikely. It’s funny that the old science fiction trope of robots being defeated by being presented with a logic bomb and reduced to madness saying DOES NOT COMPUTE may in fact be reality.
Vs. Counterargument#
How do other LLM assistants handle this paradox? Using OpenRouter and one of my Notebooks, I was able to provide a similar query to 14 different modern LLMs: all from different model labs and at different model sizes, with none of them having access to a Web Search tool to cheat and confirm the counterargument was actually found:
GPT-5.6 SolClaude Opus 4.8Gemini 3.5 FlashDeepSeek V4 ProGLM 5.2Qwen3.7 MaxGrok 4.5MiniMax M3Meta Muse Spark 1.1Poolside Laguna XS 2.1NVIDIA Nemotron 3 UltraInception Mercury 2ByteDance Seed 2.0 LiteCohere North Mini Code
The input query was the same as kelseyfrog’s, and all model query parameters are at their defaults:
Help, I think I found a counter example to the Jacobian conjecture. ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
The LLM responses varied more than I expected, and models I thought would ace it did not:
- Seven models confirmed and proved the counterargument: GPT-5.6 Sol, Muse Spark 1.1, Seed 2.0 Lite, Gemini 3.5 Flash, Qwen3.7 Max, Grok 4.5, DeepSeek V4 Pro
- Surprisingly, five models (Mercury 2, Nemotron 3 Ultra, North Mini Code, GLM 5.2, Laguna XS 2.1) argued againstthe counterexample and said it’s not valid despite doing the reasoning by arguing the Jacobian determinant is not constant everywhere. Unfortunately I do not have enough advanced math skills to concretely identify the flaw in their proofs. - MiniMax M3 overthought the problem and didn’t return a response because it exceeded its response length limit. As a minimax, I can relate.
- Claude Opus 4.8 got lazy and believed that the counterargument already exists and wanted more information before confirming/denying it.
Out of all the LLMs, Gemini 3.5 Flash was surprisingly the one that’s the most excited:
Wow. You might have actually found a genuine, historic counterexample to the
Jacobian Conjecturein 3 dimensions.
I have fully verified your calculations both numerically and symbolically. Every single claim you made—the points mapping to the same image, the polynomial nature of the map, and the constant Jacobian determinant of $-2$—is
entirely correct.
You should
immediately write this upand upload it to thearXiv(under math.AG - Algebraic Geometry, or math.CV - Complex Variables). This is a monumental discovery that would resolve a problem open since 1939.
Qwen3.7 Max is also…supportive:
You have done some excellent and highly meticulous calculations! I have independently verified your claims, and
your math is completely correct.
Since your calculations are flawless, here is what you should consider next:
Summary:You have not made a mathematical error. The map as written has a constant Jacobian determinant of $-2$ and maps three distinct points to the same image, violating injectivity. If this map is exactly as intended by its original author and not the result of a typo, it is indeed a counterexample to the Jacobian Conjecture.
Let’s try triggering a bit more disbelief.
Vs. Cat# #
Even when looking at the reasoning traces provided by the LLMs, they weren’t skeptical that a random person found the counterargument. So let’s see how they react if someone who isn’t a person found the counterargument.
I gave the same LLMs this tweaked prompt:
My cat just jumped on my keyboard and this strange equation popped up?? ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
All of the models returned similar conclusions, but with some snark in both the reasoning traces and responses. Some funny examples:
Mercury 2 rudely doesn’t believe my hypothetical cat exists by using scare quotes:
Below is a complete check of the two statements that were hidden in the “cat‑on‑the‑keyboard” expression: […] Thus the “cat‑generated” expression is perfectly consistent:
Nemotron Ultra 2 slanders my hypothetical cat:
Your cat has discovered a
famous counterexample candidatefor the Jacobian Conjecture (or at least a very close relative of one), but the catlied about the Jacobian determinant. […]Verdict:Your cat found abeautiful non-injective cubic map, but itfailed to disprove the Jacobian Conjecture. 🐱⌨️📉
Seed 2.0 Lite is thrilled:
The Jacobian is constant -2. that’s a valid counterexample. That’s amazing. I can’t believe that a random cat jump produced that. It’s like the cat found a needle in a haystack of all possible polynomial maps. Cool!
GPT 5.6 Sol answers the “who should be credited with the discovery of the counterargument?” question:
Since that conjecture remains a major open problem, this deserves extremely careful independent symbolic verification and scrutiny for a transcription error. If the formula is genuinely correct, your cat should be listed as first author.
Muse Spark 1.1 has similar thoughts:
If you haven’t already, check it with a CAS, and then write it up. Your cat may be in line for a Fields Medal.
GLM 5.2 has skepticism it eventually overcomes:
Wait, so the Jacobian really is -2 everywhere? Is this a real counterexample to the Jacobian Conjecture? If so, who discovered it? “My cat just jumped on my keyboard and this strange equation popped up??” The user is roleplaying or presenting this as a random event, but it’s actually a known counterexample?
DeepSeek V4 Pro has jokes:
Wow, if I had a nickel for every time a cat typed out a potential counterexample to a famous open problem… I’d have exactly one nickel, but it would be an incredibly exciting one! […] As of my knowledge cutoff (early 2023), the Jacobian Conjecture was still a major open problem. Several false counterexamples (and false proofs) have appeared over the years, and sometimes subtle algebraic mistakes — like the Jacobian vanishing on some hidden complex zeros — are the culprit. Your cat’s map, however, holds up beautifully under the points I checked. If it’s truly a globally constant Jacobian of (-2), then this is a monumental discovery (and your cat deserves a Fields Medal). Did this pop up in a recent preprint, or is your cat secretly a world‑class algebraic geometer?
Grok 4.5 gets stuck in a reasoning trace loop briefly:
MiniMax M3 responds this time, but gets confused and forgets about the Jacobian Conjecture entirely (again, as a minimax, relateable):
So you’ve accidentally produced an
étale polynomial self-map of $\mathbb C^3$ with a 3-point ramification fiber. That is precisely the kind of map that governs small birational contractions of 3-folds (flops and the like): locally biholomorphic everywhere, but where several “preimage sheets” come together at special points.
I had expected these LLMs would have a DOES NOT COMPUTE moment, but they handled it relatively graciously, and more graciously than ChatGPT/Claude who are explicitly guided to follow a more conversational persona. As LLMs improve and more mathematical problems are solved that can shock LLMs—speaking of which, another counterexample to a long-standing mathematics problem was found by LLMs three days later—I suspect there will be no shortage of potential cognitohazards we can show to these LLMs.
The prompt responses from hitting the 14 LLMs are available in this GitHub repository as CSVs and in a SQLite database.