Levent Alpöge, a mathematician at AI company Anthropic, announced through social media that he had identified a counterexample to the Jacobian conjecture using Anthropic’s Claude Fable 5 language model, which became available to the public just weeks prior. The discovery marks a notable achievement in the ongoing intersection of artificial intelligence and advanced mathematics.
The Jacobian conjecture concerns polynomial functions that map points in space while preserving certain mathematical properties. Specifically, it proposes that when a function’s Jacobian determinant remains a non-zero constant, there should exist a reverse function composed of polynomials that can undo the original mapping. The conjecture originated in the two-dimensional case during 1884 and was extended to multiple dimensions in 1939. The problem gained further prominence when it appeared on a prominent list of mathematical challenges compiled for the coming century.
Despite its age and theoretical importance, the conjecture had resisted proof attempts from distinguished mathematicians across the 20th century, though various restricted versions and computational validations up to specific polynomial degrees were achieved. The fundamental challenge involved simultaneously constructing a polynomial mapping with both a constant Jacobian determinant and the property of mapping multiple inputs to identical outputs. Alpöge’s solution takes the form of a three-dimensional function with a Jacobian determinant of -2 that is not reversible, demonstrating the conjecture is false in dimensions higher than two while leaving the original two-dimensional case unresolved.
The counterexample’s brevity—short enough to be shared in a single social media post—enabled rapid verification by other mathematicians. This discovery represents part of a broader pattern of AI systems contributing to mathematical progress, including recent work on the unit distance conjecture and other long-standing problems. Unlike certain previous AI-assisted proofs involving complex constructions, this result emerged from AI’s capacity to navigate extensive search spaces efficiently, suggesting applications beyond formal proof generation in identifying previously unknown mathematical objects.
Article Attribution | Read More at Article Source
Article summary produced by Claude AI