Claude Fable and the Jacobian Conjecture: A Milestone in AI-Driven Mathematical Discovery
A potential counterexample to the Jacobian Conjecture—an 85-year-old open problem in algebraic geometry—has allegedly been produced by Anthropic's Claude Fable model. The candidate polynomial map was posted to social media by mathematician Levent Alpoge, who credited "Fable" with generating the expression during the World Cup final. The discovery has ignited a fierce debate within the systems and mathematics communities regarding the nature of AI reasoning and the limits of "stochastic parrots."
The candidate counterexample is a polynomial map from $\mathbb{C}^3 \to \mathbb{C}^3$: $$((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)$$ It reportedly has a constant Jacobian determinant of $-2$, but is not globally invertible because it maps multiple distinct points—specifically $(0, 0, -1/4)$, $(1, -3/2, 13/2)$, and $(-1, 3/2, 13/2)$—to the same output point $(-1/4, 0, 0)$.
The Community Split: Breakthrough vs. Autocomplete
The verification of the counterexample using exact symbolic algebra has split the Hacker News community. On one side, researchers and engineers view this as a clear sign that LLMs are transcending basic pattern matching to perform genuine, verifiable mathematical discovery. On the other side, skeptics argue that finding a counterexample is a low-order brute-force task that simply leverages statistical synthesis of existing mathematical failures and literature.
"As written, this is an explicit counterexample to the Jacobian conjecture. I checked it using exact symbolic algebra. I do not see an algebraic catch in what you typed. Unless a term or exponent differs from the intended expression, it appears to disprove the conjecture. This deserves serious independent checking rather than casual dismissal." — Comment by wenc
"Any idiot could have done this, it's just high school calculus and just a counterexample anyway. Stochastic parrot, spicy autocomplete, AI psychosis. Wake me up when an AI does something real." — Comment by scarmig
Why It Matters
The Jacobian Conjecture has stood since 1939 and is notorious for a long history of published "proofs" that ultimately contained subtle errors. If the Fable-generated counterexample holds up to formal verification (such as a Lean proof), it represents a monumental achievement for AI-assisted science. It suggests that LLMs can navigate complex, multi-dimensional search spaces to find highly structured mathematical objects that have eluded human mathematicians for nearly a century.
Furthermore, the discovery shifts the goalposts of the AI capability debate. Sceptics who previously dismissed LLMs as incapable of generating novel, correct reasoning are forced to reconcile their "stochastic parrot" thesis with a concrete, verifiable mathematical breakthrough.