What was claimed
An LLM (Fable) has now produced a counterexample proving the Jacobian Conjecture false (after a mathematician failed trying to prove it true years ago)
Our verdict
Needs CautionSources report that Claude Fable 5 helped Levent Alpöge find and present an explicit counterexample. They do not support the claim that the LLM alone produced it, and some sources note it is not yet peer-reviewed. Levent Alpöge, a number theorist at Anthropic, credited Fable as his collaborator, using it as something closer to a genuine research collaborator. However, what remains uncertain is how Claude Fable found it, which exact Fable version was used, what prompts and tools were supplied, and how much human steering occurred.
Check your own claim
Paste any statement, headline, or AI answer — 3 independent AIs verify it in seconds, with sources.
Key findings
Fable is the primary agent that produced the counterexample
An LLM (Fable) has now produced a counterexample proving the Jacobian Conjecture false
This happened after a mathematician failed trying to prove it true years ago.
The counterexample is verifiable and mathematically sound