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.
Related event: Claude 'Solving' Math Conjecture Sparks AI Community Memes(73 posts)→
More from Fun
- GitHub review bot hits its PR limit and forces a 39-minute cooldown — DanielLockyer · 2026-07-22
- AI turns a revenge prompt into a self-help pep talk in a new meme screenshot — colorlys7 · 2026-07-22
- Hand-painted figurines run through Seedance look eerily alive — cocktailpeanut · 2026-07-22
- An AI agent-made bayou country music video is making the rounds on Reddit — LazyKaleidoscope4696 · 2026-07-22
- A cookie thief became “aligned,” and the camera found no more theft — Sauers_ · 2026-07-22
- Teen boys are forming AI girlfriend relationships, and critics fear real-world effects — KeanuRave100 · 2026-07-22