Claude Fable Produces Counterexample Disproving the Jacobian Conjecture

Summary

Claude Fable, Anthropic's compact language model, has been instrumental in producing a counterexample to the Jacobian Conjecture, a prominent open problem in mathematics that has challenged researchers since its formulation in 1939. The Jacobian Conjecture, a fundamental problem in algebraic geometry, posits that a polynomial map with a non-zero Jacobian determinant must be injective (one-to-one). Researchers led by loubbrad, leveraging Claude Fable's mathematical reasoning capabilities, have identified a specific polynomial map from ℂ³ to ℂ³ that contradicts the conjecture—with a Jacobian determinant of -2 yet mapping three distinct input points to the same output value, definitively disproving the long-standing hypothesis. The successful use of Claude Fable in mathematical discovery represents a landmark application of AI language models to theoretical mathematics, suggesting LLMs may accelerate progress on other challenging open problems.

• The discovery highlights potential new applications of LLMs in theoretical mathematics and scientific research

Editorial Opinion

This counterexample represents a notable achievement for AI-assisted mathematics, demonstrating that Claude Fable can help identify solutions to decades-old open problems in algebraic geometry. While the Jacobian Conjecture has resisted proof attempts for over 80 years, this counterexample decisively settles the question in the negative. The discovery illustrates how modern language models can engage in rigorous mathematical reasoning and potentially accelerate progress on other challenging open problems in pure mathematics.