在计算机科学领域，若要找出“逻辑”和“严谨”的巅峰代表人物，非图灵奖得主唐纳德·克努斯莫属。这位编程界的泰斗，著有被誉为程序员“圣经”的《计算机程序设计艺术》，发明了TeX排版系统，且从不使用电子邮件，近日却被人工智能彻底震撼。在他最新发表的短文《Claude的循环》中，克努斯惊叹于Claude Opus 4.6仅用一小时就解决了他研究数周，甚至可追溯至30年前的数学难题。
这道令克努斯“头秃”的难题属于图论领域：如何将三维网格图中的所有弧分解为三个互不重叠的哈密顿循环？当克努斯的朋友将此问题交给Claude时，奇迹发生了。AI没有陷入死记硬背或暴力搜索的陷阱，而是展现出惊人的结构化思维能力。
从最初的探索，到第15次尝试引入“纤维层”概念以降低维度，再到第21次尝试时通过“蛇形构造”获得灵感寻找规律，Claude仅用31次尝试便推导出适用于所有奇数维度的通用算法。
最令克努斯震惊的是Claude极其清晰的推理过程。它不仅给出了最终的Python代码（克努斯随后将其转写为C语言并验证正确），还清楚展示了它如何从错误中学习并重新定义问题。这种“自动推理与创造性解题”的过程深深打动了这位曾对生成式AI持保留态度的大师，他在文章结尾敬佩地写道：“我向Claude脱帽致敬！”
有趣的是，这份致敬还包含一个浪漫的彩蛋：克努斯提到的Claude不仅指当前的AI模型，也指信息论奠基人克劳德·香农。
当这位88岁的计算机科学基石人物遇见数学领域的前沿AI，这不仅是一个难题的终结，更是人机协作新时代的序章。正如克努斯所言，AI已突破最厚重的窗户，接下来的旅程将由我们共同见证。
