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
- A meme stitches together Claude and Grok quota resets into one AI-user joke — djcows · 2026-07-22
- A SymPy joke turns model tool use into a “neurosymbolic architecture” gag — thomasahle · 2026-07-22
- A meme about AI apps looking great until someone plugs them into Slack — generativist · 2026-07-22
- Fable’s procedural liminal-space demo turns into a creepy interactive scene — AIandDesign · 2026-07-22
- A VR teleop demo for an SO-101 arm gets absurdly low latency by using one Python script — MoonL88537 · 2026-07-22
- Project CETI gets a Jeopardy! shout-out with a SETI-style whale clue — begusgasper · 2026-07-22