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
- AI slop is already clogging PR review and weakening the credit system behind science — rbhar90 · 2026-07-27
- ICML 2026 oral paper replication scores stay middling after a stricter re-scoring — profjamesevans · 2026-07-27
- Long-running agents will need immutable event logs, this thread argues — sebpaquet · 2026-07-27
- Seed IQ navigates Doom II, prompting questions about benchmarks beyond ARC-AGI — Fit_Transition8824 · 2026-07-27
- Agentic Data Science in Practice: Agents Write Code but Answer Wrong Questions — hugobowne · 2026-07-27
- A concise canon of foundational papers in ML, systems, NLP, speech, and audio — deliprao · 2026-07-27