Terence Tao Uses ChatGPT to Explore Jacobian Conjecture Counterexample
Original: Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
Why This Matters
Signals growing use of LLMs as tools for advanced mathematical research by top experts.
Fields Medal-winning mathematician Terence Tao shared a public ChatGPT conversation in which he used the AI to explore a potential counterexample to the Jacobian Conjecture, a long-unsolved problem in algebraic geometry first posed in 1939.
Terence Tao, one of the world's most renowned mathematicians and a Fields Medal recipient, publicly shared a ChatGPT conversation log in which he engaged the AI model to reason through ideas related to the Jacobian Conjecture. The conjecture, an open problem in mathematics since 1939, concerns whether a polynomial map with a nowhere-zero Jacobian determinant must necessarily be invertible. It remains one of the most famous unsolved problems in algebraic geometry and commutative algebra. In the shared conversation, Tao used ChatGPT as a mathematical sounding board, probing the AI's reasoning on potential counterexample constructions. The shared link suggests the session was made public intentionally, indicating Tao's interest in demonstrating or evaluating AI-assisted mathematical reasoning at a high level. The conversation drew significant attention from the mathematics and AI communities, as it represents a notable example of a world-class expert stress-testing a large language model on frontier, unsolved mathematical problems.