Claude Fable 5 counterexample raises agent governance stakes

Anthropic mathematician Levent Alpöge asked Claude Fable 5 about the Jacobian Conjecture, a problem proposed by Ott-Heinrich Keller in 1939. The model returned a 216-character counterexample involving three polynomials in variables x, y, and z, with a Jacobian determinant of -2 and three distinct inputs mapping to the same output.

The result drew rapid attention after the post reached 661 points on Hacker News, with mathematicians checking the example by hand and SymPy able to verify it in 30 seconds. Unlike benchmark gains such as 92% on a maths exam, the breakthrough is described as new mathematical discovery rather than a model matching a known answer.

For builders, the significance is that Claude Fable 5 is described as the same model available through the API and used in tools such as Claude Code, Cursor’s agent mode, and Bubble’s AI Agent. The broader lesson is that agent tools may surface hidden flaws, optimisations, or exploits, making approvals, audit trails, permissions, review, and rollback central to production use.