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
- MIT's Neil Thompson: AI comes for tasks before jobs, and fixed costs favor big firms — bigdata · 2026-10-16
- UMD's PAIR framework bridges perception and action in VLA models via bridge tokens — Kaixi Feng · 2026-10-16
- CI-MSE offline metric hits -0.87 Spearman correlation with real robot task success vs weak raw MSE — chris_j_paxton · 2026-10-16
- Colossal Biosciences uses AI to decode genetic switches behind the extinct dodo — castrotech · 2026-10-16
- Colossal Biosciences uses AI to identify gene switches in dodo de-extinction push — castrotech · 2026-10-16
- Cheng Lou open-sources Handwired: hand-written weights turn code into training-free neural nets — dotey · 2026-10-16