Summary
An AI model has potentially solved an 87-year-old mathematical problem, the Jacobian conjecture, challenging the traditional view of mathematics as a solely human endeavor. Researchers are now exploring AI's role as a partner in advanced mathematical research.