Claude Fable and the Jacobian Conjecture: A Milestone in AI-Driven Mathematical Discovery
Anthropic's Claude Fable model has disproved the Jacobian Conjecture—an 87-year-old open problem in algebraic geometry—by generating a concrete, degree-seven polynomial counterexample in three dimensions. The discovery represents a historic milestone in AI-driven science, as the counterexample relies on a series of "miraculous" algebraic cancellations that had eluded human mathematicians for decades.
The Counterexample and Verification
The counterexample, discovered by mathematicians Levent Alpöge and Mathew using Claude Fable, defines a polynomial map $F: \mathbb{C}^3 \rightarrow \mathbb{C}^3$ of degree seven:
$$F(z_1,z_2,z_3) = \Big((1+z_1 z_2)^3 z_3 + z_2^2 (1+z_1z_2) (4+3z_1z_2),$$ $$z_2 + 3 z_1 (1+z_1z_2)^2 z_3 + 3 z_1 z_2^2 (4+3z_1z_2),$$ $$2 z_1 - 3 z_1^2 z_2 - z_1^3 z_3\Big)$$
A straightforward calculation verifies that its Jacobian determinant is a non-zero constant ($\det DF = -2$), meaning the map is locally invertible everywhere. However, the map is not globally invertible because it is not injective; three distinct points map to the exact same coordinates:
$$F(0,0,-1/4) = F(1,-3/2, 13/2) = F(-1,3/2,13/2) = (-1/4,0,0)$$
Fields Medalist Terence Tao immediately digested and validated the result, translating the algebraic miracle into geometric terms (isomorphic affine varieties) to explain how the AI navigated a search space that would be impossible to brute-force. A generic degree-seven polynomial in three variables would have a Jacobian of degree 18 with up to 1,329 non-constant coefficients, all of which cancel out to zero in this specific case.
The "Lore Laundering" Debate and Transparency
While the mathematical validity of the counterexample is undisputed, the breakthrough has ignited an intense debate within the scientific community regarding the nature of AI "reasoning" and the ethics of publication:
- The Vitushkin Connection: Critics on Hacker News point out that the AI's construction was heavily inspired by an existing 1999 rational polynomial counterexample by Russian mathematician Vitushkin. Some argue that this represents "lore laundering"—where an LLM recombines obscure academic literature without proper citation—while others view it as standard mathematical progression.
- The Transparency Gap: Many mathematicians expressed frustration that the discoverers published the breakthrough via a "memey tweet" and refused to share the original Claude Fable conversations or prompts, making it impossible to audit how much human prompting "steered" the model to the solution.
What It Means
This event marks a structural shift in how mathematics is conducted. Rather than acting as a simple calculation tool, the LLM functioned as an active "colleague," helping a leading mathematician like Terence Tao deconstruct and understand a complex geometric system. However, it also highlights the "black box" nature of modern AI breakthroughs, where the lack of prompt transparency and reference hygiene threatens traditional academic standards of reproducibility.