Claude Fable Might Have Cracked the Jacobian Conjecture

This is a massive moment for AI in formal mathematics. The Jacobian Conjecture has been a thorn in the side of mathematicians since 1939, and seeing an AI provide a concrete counterexample—rather than just a plausible-sounding but flawed proof—is a game changer.

What's most interesting here is the collaboration. It wasn't just a prompt and a response; it seems to have been a dialogue involving human intuition (via Akhil) and AI computation. While we've seen LLMs struggle with complex math in the past, the fact that this is being verified by tools like WolframAlpha suggests we're moving toward a "hybrid" era of discovery. We are shifting from AI as a chatbot to AI as a legitimate research partner capable of dismantling 80-year-old mysteries.