Terence Tao used ChatGPT to work through Jacobian conjecture mathematics; commenter notes zero corrections needed

Terence Tao published a blog post on July 21, 2026 digesting a counterexample to the Jacobian conjecture, open since 1939. A commenter observed that ChatGPT, which Tao used during the work, did not need to be corrected even once. The interaction covered advanced commutative algebra — a domain where LLMs have historically struggled with symbolic reasoning.