AI disproves decades-old "biggest conjecture" in maths — the Jacobian problem

A mathematician has announced that he used an Anthropic AI model to find a counterexample disproving the Jacobian conjecture, one of the longest-standing unsolved problems in mathematics. Experts regard it as a milestone, though the discovery raises questions about the future role of AI in mathematical research.