DeepSeek flubs Jacobian Conjecture proof, treating open problem as unfalsifiable
teortaxesTex · x · 2026-10-01
teortaxesTex shared a DeepSeek math-reasoning fail: while working on the Jacobian Conjecture, the model argued "either the conjecture is false or there's a mistake in the map; since the Jacobian Conjecture is a famous open problem, it cannot be false" — effectively treating an open problem as an unfalsifiable axiom.
The same model also flagged a user's "I'm an elementary school student" line as "a classic trick," showing over-vigilance about role-play context.
More from Fun
- 11-year-old builds 20+ games with Claude, from Zelda-style to Street Fighter clones — micoolcho · 2026-10-01
- Would you dare let ChatGPT Astra hunt for bugs in all your pre-LLM papers? — burny_tech · 2026-10-01
- Spot the Prompt Injection: Blogger Turns AI Security Practice Into a Guessing Game — indragie · 2026-10-01
- e/acc Master's thesis highly commended at EA-leaning Oxford, Andreessen salutes — beffjezos · 2026-10-01
- Nikita Bier jokes: is your startup even real if your designer isn't French? — smlpth · 2026-10-01
- "People Are Shoggoths Too": Classic AI Meme Resurfaces — prasanna_says · 2026-10-01