A couple days ago, Levent Alpöge, a mathematician working at Anthropic, discovered a counterexample to the Jacobian conjecture using Claude Fable 5.
I was curious whether most mathematicians were trying to prove or disprove the conjecture, so I asked Claude.
Before a counterexample to the Jacobian conjecture was found, did most mathematicians believe it was true or false?
Claude’s response was
The premise of this question isn’t quite right — no counterexample to the Jacobian conjecture has been found. It remains an open problem in mathematics: no one has proven it true, and no one has found a counterexample disproving it. … If you encountered a claim that a counterexample was found, do you have a source for that? I’d be happy to look into it, since that would actually be a major result in algebraic geometry if true.
Of course Claude doesn’t know that it solved the conjecture. It didn’t even solve the conjecture. It was an inanimate tool in the hand of a mathematician, just like a piece of chalk or a dry erase marker.
The middle part of Claude’s response was that mathematicians are (were) divided on whether the conjecture is true. So it was not like the Riemann hypothesis, which most people believe to be true, or the P = NP conjecture, which most people believe to be false.
Now what is the Jacobian conjecture? It says that a polynomial function from ℝ n to ℝ
with constant, non-zero Jacobian has a polynomial inverse. (The conjecture was stated more generally for fields of characteristic 0, in which the derivatives defining the Jacobian would have to be defined algebraically, not in terms of limits.)
nAlpöge came up with a counterexample, a polynomial function from ℝ³ to ℝ³ with constant Jacobian determinant −2. The inverse function theorem says that a function is locally invertible at any point where the Jacobian determinant is non-zero. Since this determinant is −2 everywhere for Alpöge’s function, the function is locally invertible everywhere. However, Alpöge’s function takes on some values more than once, and so the function is not invertible globally. So not only does the function not have a polynomial inverse, it doesn’t have an inverse even if you allow non-polynomial functions.