Anthropic's AI model, Claude, provided a counterexample to the Jacobian conjecture