AI just disproved a major math problem. A mathematician explains

The Jacobian conjecture has bedeviled math experts for nearly 90 years.