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
- "We built the altar first": striking AI-generated monumental sci-fi imagery — piotrbinkowski · 2026-10-27
- AI Infra Meme: While Countries Need TW-Scale Power for Datacenters, People Argue About Lightbulbs — mgostIH · 2026-10-27
- Von Neumann's 1947 math quote resurfaces alongside rare 1952 IAS computer photo — pickover · 2026-10-27
- Proposal: improv talk track where you present AI-generated slides of a random paper, authors in front row — windx0303 · 2026-10-27
- Naming your agent swarm Philosopher King and SWE lead won't fix that none of them listen — teortaxesTex · 2026-10-27
- Jason Rohrer hand-codes a chess engine in C89, no libs, no AI — for fun — jasonrohrer · 2026-10-27