July 19, 2026
Proof? Vibes? Panic?
Claude Fable produced a counterexample to the Jacobian Conjecture
Math world freaks out as an AI may have nuked a legendary unsolved problem on a tweet
TLDR: A post claims Claude Fable found an example that breaks one of math’s most famous open questions, with calculator links offered as proof. The community reaction was the real spectacle: equal parts awe, doom, and disbelief that something this huge might arrive as a casual social media post.
The actual plot twist here is almost too on-the-nose for the internet: a user casually posted that Claude Fable had found a counterexample to the Jacobian Conjecture, a famous math problem that has been hanging around for decades, and then backed it up with WolframAlpha links like receipts in a group chat. In plain English, the claim is that this long-standing rule people thought might always be true is not true after all. And yes, according to the post, this happened while the model was supposedly working during the World Cup final, which only made the whole thing feel even more absurdly online.
But the real show was the comment section, where people reacted like they’d just watched a chandelier fall in a cathedral. One commenter dropped the gloriously apocalyptic line, “the stars were going out,” while another was stunned by the sheer chaos of modern research culture: “he just...he tweeted it out.” That was the mood in a nutshell — awe, disbelief, and a little bit of existential dread. Some users rushed to add Wikipedia context for the non-math crowd, while others immediately connected it to the growing panic-hype cycle around AI solving serious research problems. The vibe was half “history is happening,” half “are we really announcing major math breakthroughs like meme posts now?” Even the simple “Thanks for the mirror link OP!” added to the comedy: the internet, unfazed as ever, treating possible math history like just another viral thread.
Key Points
- •The article presents a claim, posted by levent, that the Jacobian Conjecture is false.
- •It provides an explicit polynomial map from C^3 to C^3 as the alleged counterexample.
- •The post states that the map's Jacobian determinant is the constant value -2.
- •The post claims that three distinct inputs map to the same output (-1/4, 0, 0), implying non-injectivity.
- •Follow-up posts include Wolfram|Alpha links to check the Jacobian determinant and point evaluations.