ChatGPT takes a run at the Jacobian conjecture—and stops itself
thomasahle · x · 2026-07-20
A ChatGPT conversation tries to attack the Jacobian conjecture with a proposed construction strategy.
The model suggests building a rational object in a localization and making its Jacobian cancel by the chain rule, but then concedes that it does not produce a verified polynomial counterexample. It says the strategy creates a clean rational, non-injective, unit-Jacobian map, yet the boundary mechanism introduces ramification that would not survive in a polynomial Keller map.
The result is a neat example of an AI-generated mathematical dead end: plausible-sounding reasoning, followed by a precise admission that the proof does not actually go through.
Related event: Pranking ChatGPT with Math Counterexamples Triggers Startled Reactions(5 posts)→
More from Fun
- Five Years Into the AI Boom, Google Docs Still Red-Underlines 'Compute' as a Noun — ohlennart · 2026-09-11
- Open ECDSA.fail challenge uses AI agents to shrink Shor's-algorithm quantum circuits for Bitcoin keys — StefanoGogioso · 2026-09-11
- DHH Slams 'GDPR Is Good' Take: Vague Rules Birthed a Bureaucratic Beast — dhh · 2026-09-11
- Someone built a website where you can sign up for AI not to kill you — motionbynick · 2026-09-11
- Fruit fly brain as an LLM: connectome-driven language model demo goes live — ngxson · 2026-09-11
- Meme: Engineers Unleash 10,000 Claude Sub-Agents on Friday Afternoon to Clear a Week's Work — _jaydeepkarale · 2026-09-11