Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample