克劳德利用我的管道找到了雅可比猜想的一个反例。

4 分•作者: JGPTechCo•2 个月前
大约一个月前,我以 CC0 许可发布了一个我花了两年时间开发的流水线实现。这个流水线是 Claude 用来寻找雅可比猜想反例的。代码库历史记录、公开版本、与原论文作者之一的讨论以及两年的开发日志都记录了该流水线的起源和发展。 证明 - https://github.com/JGPTech/Fun/tree/main/Jacobian 历史记录: 我大约在一个月多一点之前首次以 CC0 许可发布了它。您可以在这里找到链接: https://github.com/JGPTech/Fun/commits/main/current_paper_locality_boundary_package 这是我用这个流水线建模的论文: https://www.nature.com/articles/s41467-026-73900-9 这是我公开分享给论文作者之一的地方,您可以看到他表示赞同: 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 Claude 用它来解决如此重大的问题,而且围绕这个反例的数学界现在正在思考我花了数年时间开发出的结构,这真是太酷了!真是令人激动。
查看原文
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.<p>Proof - https:&#x2F;&#x2F;github.com&#x2F;JGPTech&#x2F;Fun&#x2F;tree&#x2F;main&#x2F;Jacobian<p>The history:<p>I first released it under CC0 a little over a month ago. You can find the link here: https:&#x2F;&#x2F;github.com&#x2F;JGPTech&#x2F;Fun&#x2F;commits&#x2F;main&#x2F;current_paper_locality_boundary_package<p>This is the paper I was modeling with this pipeline: https:&#x2F;&#x2F;www.nature.com&#x2F;articles&#x2F;s41467-026-73900-9<p>This is where I shared it publicly one of the paper’s authors, which you can see he approved of: https:&#x2F;&#x2F;www.linkedin.com&#x2F;feed&#x2F;update&#x2F;urn:li:activity:7470810642321571840?commentUrn=urn%3Ali%3Acomment%3A%28activity%3A7470810642321571840%2C7471734053742895105%29&amp;dashCommentUrn=urn%3Ali%3Afsd_comment%3A%287471734053742895105%2Curn%3Ali%3Aactivity%3A7470810642321571840%29<p>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.