An AI just broke an 87-year-old maths problem, in a tweet sent during the World Cup final
What happened
During the World Cup final between Spain and Argentina, mathematician Levent Alpöge announced on X that the Jacobian conjecture has been disproven. The validation came from Anthropic’s latest AI model, Fable 5, which worked on the problem while the match was airing. This conclusion ended an 87-year-old standing mathematical question that resisted proof for decades.
Why it matters
The Jacobian conjecture is a fundamental unsolved problem in algebraic geometry with wide-ranging implications for computational mathematics, cryptography, and complex system modeling. Disproving it changes the assumptions underlying some theoretical frameworks and algorithm designs. For AI, showing a model can tackle such an advanced problem signals a leap in automated mathematical reasoning capabilities. This elevates AI’s role from assisting with routine calculations to solving deep, long-standing theoretical challenges, potentially accelerating research cycles across science and technology.
What to watch next
The community will watch the peer review and verification process closely to validate this AI-assisted claim. How quickly mathematical and academic systems adapt to AI proving or disproving key conjectures matters for research funding and collaboration models. Builders of AI models focused on formal reasoning will push to replicate this success. Investors and operators should monitor how AI’s role in tackling foundational science influences funding flows toward hybrid human-AI research teams or automated theorem-proving startups.
AI Quick Briefs Editorial Desk
