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
- Elon, Jensen, Zuck, Sam and Dario sing an all-AGI parody of 'I Want It That Way' — cfregly · 2026-10-27
- Woody Harrelson fronts a new commercial for Exxon — churchkey · 2026-10-27
- Referee report calls out paper as Claude Opus 5-written, and reviewer owns up — alejandroll10 · 2026-10-27
- Guy turns his girlfriend's selfie into a playable AI game ad about popping pimples — CurieuxExplorer · 2026-10-27
- Every Anthropic post scores 100% human on Pangram detector — alejandroll10 · 2026-10-27
- X's Wildest A/B Test Yet: a Hand Animates Across the Screen Pointing at the Promote Button — tekbog · 2026-10-27