Claude Fable5 helps find a Jacobian conjecture counterexample
机器之心 · wechat · 2026-07-20
Anthropic researcher Levent Alpoge says Claude Fable5 helped him find a counterexample to the Jacobian conjecture.
- He posted a concrete polynomial map \(C^3 \to C^3\) whose Jacobian determinant is constantly -2, yet it maps three distinct inputs to the same output, so it cannot be globally invertible.
- The post went viral in math and AI circles, with mathematicians and HN users quickly checking the arithmetic.
- The article explains why the conjecture has resisted proof for 85 years, notes that the result is still awaiting formal peer review, and discusses the bigger question of whether the model is merely retrieving prior math or genuinely contributing new discovery.
- It also connects the story to Zhang Yitang, whose own PhD work was derailed by a faulty lemma related to the conjecture.
More from Companies & People
- Delip Rao echoes criticism: Cohere brothers are burning their credibility — deliprao · 2026-10-27
- Journalists comb through Anthropic's risk filings before sunrise — nmasc_ · 2026-10-27
- Seroter's reading list: AI coding workflows, subagent tradeoffs, and AI's zero financial payoff — rseroter · 2026-10-27
- Vjeux hosts first Astryx meetup in SF for builders of AI-native design systems — Vjeux · 2026-10-27
- University of Toronto CS is hiring 7 faculty across 3 campuses, apply by Dec 15 — ZhijingJin · 2026-10-27
- Demand for forward-deployed engineers and AI infra hires keeps landing in inboxes — lennysan · 2026-10-27