Claude Fable 5 disproves Jacobian conjecture

AI is transitioning from a writing assistant to a co-discoverer of fundamental mathematical truths, bypassing human cognitive biases to find simple solutions in massive search spaces.

• –The counterexample is incredibly simple: a one-line formula that was quickly verified by standard symbolic algebra tools, proving that the solution was not complex, just overlooked.
• –AI is uniquely suited for search-based mathematical proofs where the solution can be easily verified but the search space is too large or counterintuitive for humans.
• –This breakthrough disproves the conjecture for all dimensions N >= 3, leaving the N = 2 case as the final remaining challenge.
• –The collaboration highlights a new paradigm of human-AI pair-discovery in pure mathematics, accelerating the resolution of long-standing academic roadblocks.