About a month ago, I released under CC0 an implementation of a pipeline I had spent two years developing. It’s the pipeline Claude used to find the counterexample to the Jacobian conjecture. The repository history, public release, discussion with one of the original paper’s authors, and two years of development logs document the pipeline’s origin and development.

Proof - https://github.com/JGPTech/Fun/tree/main/Jacobian

The history:

I first released it under CC0 a little over a month ago. You can find the link here: https://github.com/JGPTech/Fun/commits/main/current_paper_locality_boundary_package

This is the paper I was modeling with this pipeline: https://www.nature.com/articles/s41467-026-73900-9

This is where I shared it publicly one of the paper’s authors, which you can see he approved of: https://www.linkedin.com/feed/update/urn:li:activity:7470810642321571840?commentUrn=urn%3Ali%3Acomment%3A%28activity%3A7470810642321571840%2C7471734053742895105%29&dashCommentUrn=urn%3Ali%3Afsd_comment%3A%287471734053742895105%2Curn%3Ali%3Aactivity%3A7470810642321571840%29

How cool is it that Claude used it on a problem this big, and that the mathematical community around this counterexample is now thinking through structures I spent years developing? What a ride.