🔥 Trending AI Solves 87-Year-Old Jacobi Conjecture: A Mathematical Breakthrough

The Jacobian Conjecture, a long-standing open problem in mathematics for 87 years, has recently been disproven with the significant assistance of an AI model. This development has sent ripples through both the mathematics and artificial intelligence communities ¹³.

What is the Jacobian Conjecture?

Proposed in 1939 by German mathematician Eduard Ott-Heinrich Keller, the Jacobian Conjecture is a fundamental problem in algebraic geometry and polynomial mappings ⁴⁹.

Core Statement: The conjecture states that if a polynomial function from an n-dimensional space to itself has a Jacobian determinant that is a non-zero constant, then the function must have a polynomial inverse ⁹.

In simpler terms, if you have a system of polynomial equations where the determinant of the matrix of their partial derivatives (the Jacobian determinant) is always a non-zero constant, then you should be able to "undo" that system with another set of polynomial equations. This problem has been a significant challenge for mathematicians for nearly a century, even being included in "Smale's problems," a list of important mathematical questions ³¹⁰.

How AI Disproved the Conjecture

On July 20, 2026, mathematician Levent Alpöge, associated with Harvard University and Anthropic, announced a counterexample to the Jacobian Conjecture ²⁴. This counterexample was found with the crucial help of Anthropic's AI model, Claude Fable 5 ²⁵⁷.

The Process:

• AI-Assisted Discovery: Alpöge utilized Claude Fable 5 to explore potential counterexamples. The AI model's ability to process and analyze complex mathematical structures played a pivotal role in identifying a specific case that violated the conjecture ¹⁵.
• Counterexample Details: The AI-assisted discovery led to a specific counterexample: a C³ polynomial map with a Jacobian determinant of -2, exhibiting a three-point collision ². This 216-character polynomial map was instrumental in disproving Keller's 1939 conjecture ⁸.
• Verification: The counterexample's validity was quickly verified in Lean, a formal proof assistant, within hours of its announcement ⁸. This rapid verification further solidified the findings.

Significance of the Disproof:

The discovery of a counterexample means that the original conjecture is false. This is a monumental achievement, as mathematicians have been trying to prove or disprove it for decades ³. The involvement of AI in solving such a long-standing and complex mathematical problem highlights the growing capabilities of artificial intelligence in scientific discovery and theoretical research ⁶.

This event is not isolated; it's part of a broader trend in 2025-2026 where AI is increasingly assisting in solutions or disproofs of various challenging mathematical problems, including certain Erdős problems and a 10-year-old jamming conjecture ⁶. This marks a "very rapid and very unsettling change" for the mathematical community, as AI tools are proving capable of breakthroughs that have eluded human experts for generations ⁵.