Terence Tao Uses ChatGPT to Analyze the Jacobian Conjecture Counterexample
Fields Medalist Terence Tao turned to ChatGPT to help digest Claude Fable's counterexample to the decades-old Jacobian Conjecture in algebraic geometry.
BY FOUNDERBUILT AI NEWS
In what may be the most consequential AI-mathematics crossover of the year, Fields Medalist Terence Tao used ChatGPT to help analyze a counterexample to the Jacobian Conjecture -- a famous unsolved problem in algebraic geometry that has stumped mathematicians since 1939. The counterexample was produced by Claude Fable, Anthropic's advanced AI model, marking a watershed moment for AI-assisted mathematical discovery.
The Jacobian Conjecture, first formulated by Ott-Heinrich Keller in 1939, concerns polynomial maps from C^n to C^n. A counterexample would fundamentally reshape our understanding of polynomial invertibility. The original announcement, made via X by mathematician Akhil Mathew (user __alpoge__), credited Claude Fable for working on the problem during the World Cup final.
Tao's ChatGPT conversation, shared publicly, offers a rare glimpse into how a world-class mathematician uses AI tools to reason through complex mathematical structures. The conversation has drawn over 800 upvotes on Hacker News and nearly 500 comments, with the broader mathematical community still digesting the implications of both the counterexample itself and the novel human-AI collaboration that produced it.