Users say older Anthropic models hesitate on a Jacobian Conjecture disproof, while Grok accepts it
inductionheads · x · 2026-07-21
A repost of a thread arguing that older Anthropic models like Opus can get stuck doubting the disproof of the Jacobian Conjecture, while Grok simply runs the math and accepts the counterexample.
The takeaway is less about the theorem itself and more about model behavior: the poster uses the contrast to argue that heavy safety/construction layers may sometimes make a model more reluctant to admit a valid mathematical result.
More from Fun
- Five Years Into the AI Boom, Google Docs Still Red-Underlines 'Compute' as a Noun — ohlennart · 2026-09-11
- Open ECDSA.fail challenge uses AI agents to shrink Shor's-algorithm quantum circuits for Bitcoin keys — StefanoGogioso · 2026-09-11
- DHH Slams 'GDPR Is Good' Take: Vague Rules Birthed a Bureaucratic Beast — dhh · 2026-09-11
- Someone built a website where you can sign up for AI not to kill you — motionbynick · 2026-09-11
- Fruit fly brain as an LLM: connectome-driven language model demo goes live — ngxson · 2026-09-11
- Meme: Engineers Unleash 10,000 Claude Sub-Agents on Friday Afternoon to Clear a Week's Work — _jaydeepkarale · 2026-09-11