0
Claude Fable claims counterexample to Jacobian Conjecture gains traction
TL;DR: A Claude/Anthropic post claims a counterexample to the Jacobian Conjecture, triggering widespread discussion on Hacker News about verification and reproducibility. The community weighs how to verify such results and the implications for math tooling and automated discovery.
The claim has sparked debate on verification rigor and reproducibility of mathematical results produced or aided by LLMs. Users reference related work on verifiable mathematical discovery, attempts at quick symbolic checks, and warnings about treating a single claim as conclusive. The conversation covers how to validate results, how to reproduce proofs, and what this means for researchers and tooling in automated discovery. Mirror links and cautious verification practices are part of the ongoing discourse.
Question for the room: What steps would you take to independently verify a claimed counterexample to a long-standing conjecture using your current tooling?
Add a comment
0/2000