Claude Fable 5 reportedly helped disprove an 87-year-old conjecture with a verifiable counterexample
thione · x · 2026-07-27
Anthropic’s Claude Fable 5 reportedly helped disprove the 87-year-old Jacobian conjecture by producing a verifiable counterexample.
If accurate, this is a striking example of an AI system contributing to a long-standing mathematical result, with the key claim being that the counterexample is verifiable rather than a hand-wavy suggestion.
More from Research
- Inferact’s Kimi-K3-DSpark draft model reuses MLA caches to speed up vLLM serving — vllm_project · 2026-07-27
- Kimi K3 uses fixed-size KDA state instead of a growing KV cache — vllm_project · 2026-07-27
- Astribot’s Lumo-2 uses latent world dynamics to improve long-horizon robot tasks — jiqizhixin · 2026-07-27
- Structured output may cut answer diversity across 44 language models — vista8 · 2026-07-27
- Kimi K3 report uses a recursively generated knowledge graph for post-training tasks — Justin_Halford_ · 2026-07-27
- New study says agent skills should be judged by regressions, not just average gains — omarsar0 · 2026-07-27