‘hello there the jacobian conjecture is false thanx’: why a tiny social media post has mathematicians rethinking AI

A mathematician recently posted a potential counterexample to the Jacobian conjecture, a long-standing problem in algebraic geometry, claiming the proof was generated with the assistance of AI. While the mathematical community has yet to verify the claim, the incident highlights a growing shift where researchers are testing whether large language models can contribute to solving complex, unsolved formal proofs. If validated, this would mark a significant milestone in machine-assisted mathematics, potentially changing how experts approach high-level theoretical problems.