Fable 5 reportedly finds a counterexample to the 1939 Jacobian conjecture
dotey · x · 2026-07-21
A retweeted thread claims Fable 5 found a counterexample to the Jacobian conjecture, a problem first posed in 1939, and presents it as another milestone for AI in mathematical research.
- The thread frames the result as a major defeat for a long-standing conjecture.
- It adds historical context around Zhang Yitang’s past struggle with the problem and his advisor’s skepticism.
- The final point is that AI produced an unusually compact counterexample, which the poster sees as the most ironic part.
More from Research
- Deep Learning Course Adds Mechanistic Interpretability Lecture This Winter — CSProfKGD · 2026-10-26
- INCLUDE-2.0 benchmark evaluates regional knowledge across 91 languages and 86 countries — ABosselut · 2026-10-26
- CoRL paper: flow-matching VLAs can run 1-step Euler inference with no retraining — kaixhin · 2026-10-26
- CoVer at EMNLP 2026: Training Code LLMs to Generate and Self-Verify Simultaneously — algo_diver · 2026-10-26
- Robotic dexterity should be judged on speed, force control and tool use, not copying humans — DJiafei · 2026-10-26
- Turing-complete malware can run in PyTorch's backward pass via a zero-valued loss — retr0jirachi · 2026-10-26