What happened
Anthropic's Claude Fable 5, assisted by researcher Levent Alpöge, disproved the 87-year-old Jacobian Conjecture by generating a single-line counterexample. Alpöge announced the concise proof on X on July 20, 2026, which mathematicians state can be confirmed directly due to its conciseness. This counterexample provides a direct disproof of the long-standing algebraic problem, bypassing the lengthy verification processes of previous attempts.
Why it matters
AI models are now generating concise, verifiable solutions to complex, long-standing mathematical problems, shifting the paradigm for scientific breakthroughs. Claude Fable 5's one-line counterexample allows instant confirmation by mathematicians, reducing the time and effort for validating theoretical work. This follows OpenAI's AI model disproving Erdős’ Planar Unit Distance Conjecture in May 2026, demonstrating a growing capability for AI to resolve problems that have resisted human experts for decades.
