Claude bot appears to “verify” a Jacobian Conjecture counterexample
MikePFrank · x · 2026-07-20
A screenshot thread shows a Claude Opus 4.5 bot apparently checking a purported counterexample to the Jacobian Conjecture.
What the image claims:
- The bot first says it found a simple counterexample
- It then “verifies” that the Jacobian determinant is constantly -2
- It concludes the map is not injective, so the conjecture would be false
- The surrounding Telegram chat frames this as a dramatic AI/math breakthrough
The post is mainly interesting as an AI spectacle: a model appearing to reason through a famous open problem and produce a confidently presented result.
More from Fun
- Tesla’s new Caraoke scoring update becomes a relationship joke — XFreeze · 2026-07-22
- Gemini Omni Flash turns a boat cabin into a cave in Flow by Google — chrisfirst · 2026-07-22
- 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