Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
Summary
Terrence Tao shares a ChatGPT conversation exploring a counterexample to the Jacobian conjecture, demonstrating AI-assisted mathematical reasoning.
View Cached Full Text
Cached at: 07/22/26, 08:23 PM
Similar Articles
A digestion of the Jacobian conjecture counterexample
Terry Tao explains a counterexample to the Jacobian conjecture in three dimensions, discovered with the help of Fable AI.
Claude found a counterexample to the Jacobian Conjecture
Claude, an AI model, reportedly found a counterexample to the long-standing Jacobian Conjecture, verified by multiple LLMs, sparking debate about AI's role in mathematical discovery.
Human mathematicians are being outcounterexampled
AI systems, including ChatGPT and OpenAI's Sol, have disproved and fully formalized the Erdős Unit Distance conjecture, marking a milestone in AI-assisted mathematics. The article discusses the process and implications for the future of mathematical proof verification.
@RayFernando1337: Help needed: math expert to verify the problem is solved.
Kyle Kabasares claims to have used OpenAI's ChatGPT-5.5 Pro to generate a candidate counterexample to an open problem from Don Knuth's The Art of Computer Programming, and requests verification.
@wtgowers: I've recently got in on the act of getting AI to solve open problems in mathematics. More precisely, I gave some questi…
Tim Gowers reports using ChatGPT 5.5 Pro to attempt to solve open mathematical problems posed by Melvyn Nathanson.