AI Disproves 87-Year-Old Mathematical Hypothesis

Anthropic mathematician Lev Alpoge, using the Claude Fable model, has found a counterexample to the Jacobian Conjecture, which has remained unsolved since 1939.

Compiled by Sergey KostenchukPublished 2026-07-22Updated 2026-07-22

2026-07-22 Research Anthropic

🤖 AI Disproves 87-Year-Old Mathematical Hypothesis

Mathematician Lev Alpoge from Anthropic, in collaboration with the Claude Fable model, has presented a counterexample disproving the Jacobian Conjecture. The problem has remained unsolved since 1939. This disproof applies to all dimensions $n \ge 3$.

🌍 This is a significant example of using specialized AI models to search for complex mathematical counterexamples. The case demonstrates the transition of AI from computation to assisting in deep theoretical research.

👤 Mathematics is gaining a new tool for hypothesis testing. Complex problems can now be verified or disproven with the help of AI.

Source 1: https://habr.com/ru/articles/1060914/

Sources