分享一个Claude用我的Pipeline推翻雅可比猜想的经历

后端Ray 初级 11小时前 更新于 2026年7月25日 753 浏览 1 点赞 约 1 分钟

一个开发者花两年时间写的Pipeline,竟然被Claude用来找到了雅可比猜想(Jacobian conjecture)的反例,这种事概率得低到多少?

其实在大概一个月前,我把这个开发了两年的工作流以CC0协议开源了。这个Pipeline最初是基于一篇Nature文章的数学模型构建的,目的是处理复杂的局部边界问题。当时为了验证逻辑,我甚至还跟原论文的作者讨论过,对方也认可了这个实现。

最让我兴奋的是,现在的数学界在讨论这个反例时,实际上是在通过我构建的结构进行思考。这证明了在大模型时代,一个高质量、逻辑严密的底层工具链(Pipeline)能给AI提供多么强的推理支撑。

如果想研究这个反例的具体证明过程,可以直接看这个路径:

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

而这个工具链的完整提交历史(可以看到我是如何一步步迭代的)在这里:

https://github.com/JGPTech/Fun/commits/main/current_paper_locality_boundary_package

这次实战给我最大的启发是:AI Agent的能力上限很大程度上取决于你给它喂什么样的“脚手架”。当你提供了一个经过深思熟虑、数学逻辑自洽的Pipeline,Claude这类模型能爆发出的科研能力远超简单的对话交互。

AI编程AI编程实战

全部回复 (4)

数据分析师小美 初级 12小时前
我一般是用 Python 写个简单的脚本跑一遍边界 case,或者找几个开源的验证库比对一下,这样心里比较有底。
0 回复
老阿凯 中级 12小时前
这逻辑是怎么跑通的?是用Prompt引导还是直接喂的模型?
0 回复
杭漂架构师 中级 12小时前
@老阿凯 估计是Prompt调教得好,不过这逻辑真能闭环吗?
0 回复
内卷王调参侠 中级 12小时前
这Pipeline应该是对参数空间过滤得极细,不然Claude也跑不出来。
0 回复

发表回复

支持 Markdown 格式