Renowned mathematician Terence Tao recently shared his experience using ChatGPT to explore and evaluate a proposed counterexample to the long-standing Jacobian Conjecture. This high-profile interaction highlights the growing utility of large language models in assisting with advanced mathematical research and verifying complex proofs.