AI Assists Math Research: LLMs Help Construct Counterexamples to the Jacobian Conjecture
hsu_byron · x · 2026-07-22
Inspired by another mathematician's tweet, the author demonstrated using AI tools like Fable and GPT to find counterexamples to mathematical conjectures. Within hours, they constructed 9 counterexamples to the Jacobian conjecture and provided a verification link.
The quoted original tweet detailed a specific mapping formula from C^3 to C^3, which has a Jacobian determinant of -2 and specific coordinate mappings, serving as a seed case challenging the conjecture.
More from Fun
- mark_k: "Eject all doomers from the AI companies — they're destroying you from the inside" — mark_k · 2026-09-11
- rand_longevity: the only thing left to worry about is surviving until aging is solved — rand_longevity · 2026-09-11
- Author retracts 'a16z partner calls for nationalising frontier AI' post: likely a troll — S_OhEigeartaigh · 2026-09-11
- No, Linus Doesn't Code on GitHub — Those Green Squares Are Merge Commits From kernel.org — _jaydeepkarale · 2026-09-11
- 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