LLM Discovers a Counterexample to the Jacobian Conjecture?
doodlestein · x · 2026-07-20
A screenshot shows someone asking a model to verify if a ternary polynomial map always results in a Jacobian determinant of -2. The model confirms this and further claims that, assuming the formulas are correct and there are no extra constraints on the variables, this would constitute a 3D counterexample to the Jacobian conjecture. The author then asked the model to list "30 open problems of similar magnitude," expressing visible shock and amusement at the prospect of LLMs potentially participating in the discovery of major mathematical counterexamples.
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