An artificial intelligence system called Claude Fable has reportedly produced a counterexample to the Jacobian Conjecture, a problem in algebraic geometry that has resisted solution for over 80 years. The claim, which surfaced on technical forums, has stirred debate among mathematicians about the role of AI in formal proof discovery.

What You Need to Know

The Jacobian Conjecture is a foundational open problem in algebraic geometry, first proposed in 1939. A counterexample would overturn decades of theoretical work. Claude Fable is an AI model developed by Anthropic, the same company behind the Claude assistant. The result has not yet been peer-reviewed but is being discussed in academic circles.

The Jacobian Conjecture Explained

The Jacobian Conjecture deals with polynomial maps from complex n-dimensional space to itself. It posits that if the Jacobian determinant of such a map is a nonzero constant, then the map has a polynomial inverse. Mathematicians have long suspected the conjecture might be false, but no concrete counterexample had been found until now. Claude Fable's output reportedly constructs a specific polynomial map that satisfies the condition but lacks an inverse, directly contradicting the conjecture.

How Claude Fable Made the Discovery

According to preliminary reports, Claude Fable was not explicitly programmed to search for counterexamples. Instead, it was given a large corpus of algebraic geometry literature and tasked with generating novel mathematical statements. During this process, the AI produced a candidate map that appeared to break the conjecture. The system then verified its own finding using symbolic computation tools, generating a proof that the map is indeed a counterexample.

  • Step 1: Claude Fable analyzed existing theorems and proof strategies in algebraic geometry.
  • Step 2: It generated a candidate polynomial map using pattern recognition and extrapolation.
  • Step 3: The AI used computer algebra systems to verify the map satisfies the Jacobian condition but lacks an inverse.
  • Step 4: The result was submitted to a preprint server for community review.

Expert Reactions and Skepticism

Mathematicians have reacted with a mix of excitement and caution. Some note that AI-generated proofs often contain subtle errors that are hard to detect. Others argue that if the counterexample is correct, it would represent a paradigm shift in how mathematics is done. The algebraic geometry community is now racing to verify the claim independently. The authors of Claude Fable have not yet released full details of the proof, citing the need for rigorous peer review.

Why This Matters

This event could mark the first time an AI system has solved a major open problem in pure mathematics. If verified, Claude Fable's counterexample would not only refute a decades-old conjecture but also demonstrate that large language models can generate genuinely novel insights beyond pattern matching. For mathematicians, it raises questions about the future of theorem proving: will AI become a routine collaborator, or will it produce results that are too complex for humans to verify? The economic implications are also significant, as pharmaceutical and materials science industries rely on algebraic geometry for modeling. A verified counterexample could force a rethinking of fundamental assumptions in those fields.