Terence Tao uses ChatGPT to study the Jacobian conjecture · Digg