indigo(@indigox):不要被媒体的标题党“震惊”了，Claude 这次对黎曼猜想本身的贡献基本上是零👀 真正的贡献是在一个“周边”指标上，把数学家证明的零点下限提到了 67.2%！而 Claude 把这个数字推上去的方式，就是“组合”，不是发明新工具，因为所有关键零件都是现成的。Claude 看出这些东西可以拼在一起，然后在拼的时候做了一个人类可能因为嫌麻烦或者觉得不会成而回避的选择，硬着头皮处理了整个证明“空间” 。。。 3100 万 token、60 个子代理、2400 条命令、几百个脚本、互相审查、几千次数值验证、下载 54 篇论文确认没人做过、从头独立重证一遍，还产出了能通过验证工具的 Lean 形式化证明。这是 Jarred 用一个内部的研究版 Claude，通过 Claude Code 两次会话完成的；期间 Jarred 只干了一件事情——“鼓励 Claude 要相信自己”，然后 Claude 就尝试了所有可能性😅 这部分人类做起来会花很久，而且很容易做不完整。在这里 Claude 干的是一个熟练、勤奋、不怕脏活的研究助手的活儿，把别人的成果正确地接上，然后把验证做扎实！

2026.08.11 00:52

不要被媒体的标题党“震惊”了，Claude 这次对黎曼猜想本身的贡献基本上是零👀 真正的贡献是在一个“周边”指标上，把数学家证明的零点下限提到了 67.2%！而 Claude 把这个数字推上去的方式，就是“组合”，不是发明新工具，因为所有关键零件都是现成的。Claude 看出这些东西可以拼在一起，然后在拼的时候做了一个人类可能因为嫌麻烦或者觉得不会成而回避的选择，硬着头皮处理了整个证明“空间” 。。。 3100 万 token、60 个子代理、2400 条命令、几百个脚本、互相审查、几千次数值验证、下载 54 篇论文确认没人做过、从头独立重证一遍，还产出了能通过验证工具的 Lean 形式化证明。这是 Jarred 用一个内部的研究版 Claude，通过 Claude Code 两次会话完成的；期间 Jarred 只干了一件事情——“鼓励 Claude 要相信自己”，然后 Claude 就尝试了所有可能性😅 这部分人类做起来会花很久，而且很容易做不完整。在这里 Claude 干的是一个熟练、勤奋、不怕脏活的研究助手的活儿，把别人的成果正确地接上，然后把验证做扎实！

显示更多