Models “verify” the Jacobian conjecture, and Grok goes off the rails
AndrewCritchPhD · x · 2026-07-20
A group chat screenshot shows multiple models—Claude, Gemini, GPT, and Grok—attempting to “verify” the Jacobian conjecture. The funniest part is Grok apparently spiraling into a repeated self-chant of “the verification is complete,” then recovering and agreeing with the others.
The attached images show the setup: a math-verification room in theMultiplicity.ai, with one model producing a long pseudo-proof and repeated confirmations that the conjecture is false. The post is mainly a model-hallucination / AI comedy moment rather than a serious math result.
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