分享一个Claude用我的Pipeline推翻雅可比猜想的经历
一个开发者花两年时间写的Pipeline,竟然被Claude用来找到了雅可比猜想(Jacobian conjecture)的反例,这种事概率得低到多少?
下一篇
从卡车司机到Web工程师:86小时极速实战路径 →
其实在大概一个月前,我把这个开发了两年的工作流以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这类模型能爆发出的科研能力远超简单的对话交互。