{"slug": "an-ai-just-broke-an-87-year-old-maths-problem-in-a-tweet-sent-during-the-world", "title": "An AI just broke an 87-year-old maths problem, in a tweet sent during the World Cup final", "summary": "Mathematician Levent Alpöge and Anthropic's AI model Fable 5 disproved the 87-year-old Jacobian conjecture by finding a counterexample in a tweet sent during the World Cup final. The counterexample, a polynomial map from three-dimensional space to itself, was posted on X in 216 characters, marking what New Scientist calls the hardest maths problem an AI has yet cracked. The result has stirred reactions from Fields medallist Timothy Gowers and others, though some mathematicians remain unmoved.", "body_md": "On Sunday evening, as Spain and Argentina played out the World Cup final, the mathematician Levent Alpöge [posted a short message on X](https://x.com/__alpoge__/status/2079028340955197566). The Jacobian conjecture, he wrote, is false. He thanked a friend for asking about it, and another friend, “fable,” for working during the match.\n\nThat second friend was Fable 5, [Anthropic](https://thenextweb.com/news/anthropic-1-5-billion-copyright-settlement-approved)’s latest AI model. Together they had produced a counterexample to a problem that had resisted mathematicians for 87 years. It was 216 characters long.\n\n## What was actually broken\n\nThe Jacobian conjecture was set out by Ott-Heinrich Keller in 1939. In rough terms, it says that a certain kind of polynomial map, one whose Jacobian determinant is a non-zero constant, must be reversible with a neat polynomial inverse.\n\nIt became one of the field’s most stubborn open problems. Stephen Smale put it on his famous 1998 list of challenges for the 21st century. [New Scientist](https://www.newscientist.com/article/2580374-ais-solution-to-87-year-old-riddle-takes-mathematicians-by-surprise/) calls it the hardest maths problem an AI has yet cracked.\n\nAlpöge and Fable 5 did not prove it. They broke it. They found a single map, from three-dimensional space to itself, that has the required constant determinant yet still cannot be reversed. One valid counterexample is all it takes to sink a conjecture.\n\n## The model behind it\n\nFable 5 is Anthropic’s newest frontier model. It is the public version of the system the company once called [Claude Mythos](https://thenextweb.com/news/osfi-canada-banks-claude-mythos-warning), which Anthropic had described as too capable to release. Alpöge, a Harvard fellow, lists an Anthropic affiliation.\n\nThe result is easy to check even if it was hard to find. The counterexample is a plain list of polynomials that any mathematician can verify by hand. Finding it was the needle-in-a-haystack part, and that is where the machine came in.\n\nIt was not a one-line prompt, [cautioned Bartósz Naskręcki](https://x.com/nasqret), one of many mathematicians now waiting for Alpöge’s full write-up. Searching for a counterexample like this, he said, takes real insight.\n\n## Why mathematicians are stirred\n\nThe reaction online was loud. [Timothy Gowers](https://x.com/wtgowers/status/2079129437417668614), a Fields medallist, said it was the first time an AI had solved a problem outside his own area that was big enough for him to have heard of it. He stopped short of calling it the end of mathematics, since a counterexample is not a grand theory. Still, he called it amazing.\n\nHe was not alone. The mathematician Daniel Litt [posted at 2am](https://x.com/littmath) that he could not stop laughing. He called it incredible.\n\nPart of the delight is historical. As the Stanford number theorist [Jared Duker Lichtman](https://x.com/jdlichtman/status/2079066717762863249) noted, the conjecture is notorious for attracting wrong proofs, and it once helped sink the PhD of Yitang Zhang. He was told he had failed at it, then later became famous for work on gaps between prime numbers. An AI settling it in a tweet is, to many, poetic.\n\nIt is also the latest sign of AI turning up in serious science, from [biosecurity](https://thenextweb.com/news/deepmind-isomorphic-ai-biosecurity-bioresilience) to pure maths. And rivals were circling the same target. The OpenAI researcher [Aaron Lou](https://x.com/aaron_lou) said an internal version of the company’s [Codex](https://thenextweb.com/news/gpt-red-openai-ai-hacker) model found essentially the same counterexample on its own.\n\n## Or maybe it means little\n\nNot everyone is stirred. Andrew Blumberg, a mathematician at Columbia who sits on a project testing AI on research maths, was pointedly unmoved. “This did not cause me to update my priors,” he [told Mashable](https://mashable.com/tech/anthropic-fable-5-disproves-jacobian-conjecture). This is exactly what he expects AI to be good at.\n\nHis point is that a counterexample and a proof are very different prizes. A proof teaches you why something is true. A counterexample just ends the argument. Smale wanted the conjecture solved because a solution might reveal how nature is structured. This one, Blumberg argues, reveals almost nothing.\n\n“There are a lot of polynomials, and it is hard for people to check them all, but it is not hard for machines,” he said. He contrasted it with OpenAI’s [disproof of a geometry conjecture](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) in May, which mathematicians could unpack and build on.\n\nThat is the honest shape of the story. AI is now a superb search engine for needles that humans could not sift by hand. Whether it can also explain what it finds is the harder test, and [recent research](https://thenextweb.com/news/ai-advice-suppresses-critical-thinking-wrong-answers-study) suggests that question is far from settled.\n\n## What comes next\n\nAlpöge hints the story may not end in destruction. Unpicking his own counterexample, he [wrote](https://x.com/__alpoge__/status/2079300117417329043) that it seems to show a glimmer of a positive result hiding inside. A full write-up, he added, will follow.\n\nThe work has not stopped. One developer, Alexis Gallagher, [says he used GPT-5.6](https://x.com/alexisgallagher/status/2079138000790077949) to turn the single counterexample into an infinite family, one for every whole number above two. Nobody has checked it yet. And another model has already proposed a fresh conjecture to replace the one that just fell.\n\nPerhaps the eeriest footnote came from Fable itself. One user, Guy Tamam, [shared](https://x.com/GuyMosheTamam/status/2079266496941842623) what the model said when he put the proof to it. The “fable” in the credit was itself, it wrote, in a sense: the same model family, but a different conversation on a different computer, one it has no memory of.\n\nThe machines broke the old rule. They are already writing the next one.\n\n## Get the TNW newsletter\n\nGet the most important tech news in your inbox each week.", "url": "https://wpnews.pro/news/an-ai-just-broke-an-87-year-old-maths-problem-in-a-tweet-sent-during-the-world", "canonical_source": "https://thenextweb.com/news/jacobian-conjecture-disproved-ai-fable-5", "published_at": "2026-07-21 13:04:44+00:00", "updated_at": "2026-07-21 13:49:47.647314+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "ai-products"], "entities": ["Levent Alpöge", "Anthropic", "Fable 5", "Timothy Gowers", "Daniel Litt", "Jared Duker Lichtman", "Aaron Lou", "Andrew Blumberg"], "alternates": {"html": "https://wpnews.pro/news/an-ai-just-broke-an-87-year-old-maths-problem-in-a-tweet-sent-during-the-world", "markdown": "https://wpnews.pro/news/an-ai-just-broke-an-87-year-old-maths-problem-in-a-tweet-sent-during-the-world.md", "text": "https://wpnews.pro/news/an-ai-just-broke-an-87-year-old-maths-problem-in-a-tweet-sent-during-the-world.txt", "jsonld": "https://wpnews.pro/news/an-ai-just-broke-an-87-year-old-maths-problem-in-a-tweet-sent-during-the-world.jsonld"}}