The mathematical proof was formally verified using Lean.
Many users express excitement that AI cracked the long-standing Jacobian Conjecture and is accelerating math discoveries, while others worry this thins the unique human edge in the field.
No Digg Deeper questions have been answered for this story yet.
Some people are ridiculously good at tweeting
It's not actually disproving the Jacobian conjecture, it's just predicting what a mathematician who knows a disproof of the Jacobian conjecture would say if they were asked for the counterexample. Of course it's a valid counterexample, because the mathematician would give one.
AI has now disproved an 87-year-old conjecture by finding a counterexample humans never spotted. The conjecture asks a question about polynomial maps between sets of variables. Given the outputs, can you always recover the single input behind them? A German mathematician posed it in 1939, and it remained unresolved since. Levent Alpöge, working at Anthropic, showed the answer is no. The proof was already verified in Lean, the checking language for Math. The human edge is slowly disappearing in Math. --- fortune .com/2026/07/21/ai-solves-jacobian-conjecture-levant-alpoge-claude-fable-5/
@rohanpaul_ai Math was supposed to be the one safe zone from automation
@rohanpaul_ai We are going to solve all the problems in math with this rate of acceleration.
@rohanpaul_ai We’re moving from AI helps mathematicians to AI discovers things we couldn’t.
@rohanpaul_ai Pure math is breaking faster than the theorists expected
@rohanpaul_ai The bright side: the gap between engineers and mathematicians is closing 😂 They're smart people...what made them not see it coming?
@rohanpaul_ai Finally a use case for these models that isnt just writing emails
@rohanpaul_ai ai just cracked a math problem that stood for 87 years the human edge in math is getting thinner
@rohanpaul_ai how many more classic problems are dropping before the year ends
@rohanpaul_ai The Lean verification piece is what makes this really count
@rohanpaul_ai You don't get it. The human davantage doesn't disappear. Humans are AUGMENTED by having access to AI tools. How don't you get such an easy concept.
@rohanpaul_ai levent alpöge at anthropic just killed the jacobian conjecture after 87 years and lean verified the proof so it actually sticks
@rohanpaul_ai wild to see ai cracking problems we’ve missed for decades
@Austen they have tweeted so many times before that is why. as saying goes , winner has lost more than looser tried.
@gurtej__gill_ @rohanpaul_ai No you are thinking of plumbing, for another year or so :)
@aukinhluan @rohanpaul_ai You clearly have no idea how AI works.
@rohanpaul_ai The computer can simply test out billions of examples a second. It's not smarter than humans, just quicker. 😂