Anthropic's Claude Fable Disproves 87-Year-Old Mathematical Conjecture in Historic AI Breakthrough

Summary

Mathematician Levent Alpöge at Harvard University announced on July 19 that he used Anthropic's Claude Fable 5 AI model to disprove the Jacobian conjecture, an 87-year-old mathematical problem that has stumped researchers for decades. Alpöge posted a simple 216-character counterexample as proof, marking what experts say is the most difficult mathematical problem yet solved by AI. The counterexample is trivial to verify but the methodology behind discovering it remains mysterious, prompting questions about how the AI was prompted and what insights guided the process.

The Jacobian conjecture, formally stated by Ott-Heinrich Keller in 1939 and listed among 18 crucial unsolved problems by mathematician Stephen Smale in 1998, suggested that a certain type of mathematical function would also work in reverse. Alpöge's finding demonstrates that this is false—at least for functions with three variables, though the conjecture may still hold for the two-variable case. Experts note this represents a significant escalation in AI's mathematical capabilities, following OpenAI's recent AI-assisted proof of another decades-old conjecture by Paul Erdős.

The discovery has sparked debate about the future role of mathematicians and the nature of mathematical work itself. While AI has proven adept at finding counterexamples to disprove conjectures, experts emphasize that building entirely new mathematical frameworks—like Andrew Wiles's proof of Fermat's Last Theorem—still requires distinctly human creativity. Nonetheless, researchers warn that increasingly capable AI models will likely solve more complex problems, raising urgent questions about the future demand for human mathematicians and the trajectory of computational mathematics.

• Experts note AI excels at finding counterexamples but may lack the creative capacity to build entirely new mathematical theories from scratch
• The breakthrough raises critical questions about the future role of human mathematicians in an era of increasingly capable AI models

Editorial Opinion

The disproof of the Jacobian conjecture represents a watershed moment in AI's growing autonomy in mathematical discovery. While the counterexample itself is elegantly simple, the fact that AI played a central role in finding it—through methods we don't yet fully understand—suggests that frontier mathematical problems are no longer the exclusive domain of human intuition. This should excite mathematicians as much as it unsettles them: AI isn't replacing the creative work of building new mathematical frameworks, but it's becoming an indispensable research partner for exploring the boundaries of existing knowledge.