Terence Tao used ChatGPT on a decades-old math problem — and didn't need to correct it once

Mathematician Terence Tao used ChatGPT while digesting a counterexample to the Jacobian conjecture, open since 1939. A commenter noted the model needed zero corrections throughout — notable because the work involved commutative algebra, an area where LLMs have historically struggled with symbolic reasoning.