Story
Claude Fable produced a counterexample to the Jacobian Conjecture
1 report
1 website
1 discussion
Latest report
Overview
The Jacobian conjecture is stated to be false, with a specific mapping from \(\mathbb{C}^3\) to \(\mathbb{C}^3\) shown to have a Jacobian determinant of -2. The mapping sends the points (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0).
Summary from xcancel.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · xcancel.com
Hacker News discussion ↗
Historical count: 5 · 5 saved in sample · Historical sample
Analysis ready
Read this discussion’s reaction
Based on 5 sampled comments from this thread. Analyzed 2026-07-20.
- Praise: Feeding this groundbreaking information into an LLM resulted in it verifying the result in seven different ways — a testament to the model's capabilities in handling complex mathematical concepts.
- Praise: Even Qwen 3.6 27B was able to validate the solution, showcasing the impressive performance of different AI models in tackling mathematical challenges.
- Concern: There's skepticism about the validity of the counterexample, with some suggesting that the author’s PhD might not shield them from errors, hinting at AI's potential to mislead even experts.
- Concern: GLM 5.2 completely missed the mark, insisting the counterexample wasn't valid, raising concerns about the reliability of certain AI models in mathematical reasoning.