AI claims a counterexample to the 87-year-old Jacobian conjecture, and Wolfram shows the check
CatAstro_Piyush · x · 2026-07-29
Wolfram Japan highlights an AI-reported counterexample to the 87-year-old Jacobian conjecture and says the notebook in the post shows how to verify it with Wolfram Language.
The linked community discussion is about the counterexample and its validation workflow, making this more than a headline: it is a reproducible technical note around an AI-assisted mathematical result.
More from Research
- Netflix details its production LLM judge: hundreds of thousands of recommendations scored weekly — omarsar0 · 2026-08-24
- Nature Comment: Provenance, not interpretability, grounds trust in autonomous science — gabepgomes · 2026-08-24
- New Architecture RHEA: Train 1B Model on 8GB VRAM — zemondza · 2026-08-24
- Trained two 16M-param models to do generative CAD with real physics — debreuil · 2026-08-24
- Claude model helps discover complex structure on S^6, solving 60-year-old math problem — Singularitarian · 2026-08-24
- Study: Agents read instructions/notes 60.5% of the time, rarely touch API docs — dair_ai · 2026-08-24