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.

Related event: Rumors of Claude Fable 5 Disproving Jacobian Conjecture Sparks AI Math Frenzy(69 posts)→

Original post →

More from Fun

Fun channel →