Mathematician Lev Alpoge from Anthropic, together with the Claude Fable model, presented a counterexample that disproves the Jacobian Conjecture. This event marks the transition of artificial intelligence from simple computations to participation in deep theoretical research and fundamental science.
What Happened
Lev Alpoge and the Claude Fable model discovered a counterexample to the Jacobian Conjecture, based on a mapping from $\mathbb{C}^3$ to $\mathbb{C}^3$. In this case, the determinant of the Jacobian matrix is a constant (-2), yet the mapping itself is not globally invertible, as three different points map to the same point. This disproof is mathematically applicable to all dimensions $n \ge 3$.
Context
The Jacobian Conjecture has remained one of mathematics' unsolved problems for 87 years, since it was first proposed in 1939. Disproving it required finding a specific counterexample that is extremely difficult to detect using traditional human methods.
Why It Matters for the Industry
This case demonstrates the potential of specialized AI models (Scientific AI) in searching for complex mathematical structures. It opens new markets for the development of specialized R&D software and stimulates interest in creating 'reasoning' models optimized for rigorous logical search rather than just text generation.
Why It Matters for Users
The mathematical community gains a powerful tool for quickly verifying hypotheses and finding exceptions in existing theories. Tasks that humans spent decades solving can now be checked or disproven using AI computational methods in a matter of minutes.
What Is Still Unknown / Limitations
There remains a gap between the AI's ability to find counterexamples and its current ability to construct fully formally verifiable logical proofs of theorems.
Sources
Author
Look at AI, Editorial Staff