Claude Code and the Jacobian Conjecture Counterexample
A developer's two-year pipeline, released under CC0, enabled Anthropic's Claude Code to produce a counterexample to the Jacobian Conjecture, a long-standing mathematical problem. The implementation, documented in a publi…