A mathematician used Fable 5 to disprove a major math problem

The core claim is that the AI generated a concrete mathematical construction that directly contradicts the long‑standing conjecture, effectively solving a question that had stumped mathematicians for nearly nine decades. Coverage from IFLScience highlighted the historic nature of the breakthrough while noting that “not everyone is happy about that,” suggesting a split in the community’s reception. GIGAZINE focused on the technical source, reporting that Anthropic’s researchers themselves disclosed the counterexample and emphasized the AI’s role in overturning the conjecture. KuCoin framed the development as a shake‑up for the mathematics community, underscoring the broader impact of an AI‑driven solution on a problem that has defined algebraic geometry and related fields for 87 years.

The Jacobian conjecture, first formulated in the early 20th century, asks whether every polynomial map with a non‑zero constant Jacobian determinant is invertible with a polynomial inverse. Despite extensive effort, the conjecture resisted proof or disproof for 80‑plus years, becoming a benchmark for mathematical depth. Anthropic’s Fable series, including the latest Claude Fable 5, represents a line of AI tools designed for symbolic reasoning and theorem generation, marking a shift from traditional human‑only approaches to computational assistance in pure mathematics. What follows will depend on verification of the AI‑produced counterexample by independent mathematicians and peer‑reviewed journals.

Coverage suggests that the community’s reaction will shape whether the result is incorporated into the formal literature or contested further. Observers will watch for statements from leading algebraists, potential revisions to textbooks, and any subsequent AI developments announced by Anthropic or rival labs as the field adapts to this unprecedented computational claim.