让图灵奖巨匠惊呼“Shock”！Claude 用 1 小时破解困扰高德纳 30 年的数学难题

在计算机科学圈里，要说谁代表“逻辑”和“严谨”的巅峰，非图灵奖得主 Donald Knuth（高德纳）莫属。这位写出程序员“圣经”《计算机程序设计艺术》，打造了 TeX 系统、至今不用电子邮件的学界宗师，最近却被 AI 彻底震住了。他在最新发表的小文《Claude’s Cycles》中感叹，Claude Opus 4.6只花了一个小时，就搞定了他反复琢磨数周、甚至可追溯至 30 年前的一个数学难题。

这道让高德纳直挠头的题来自图论：在三维网格图中，如何把所有弧整齐地分成三个互不重叠的哈密顿环？当朋友把问题递给Claude时，惊喜出现了。AI 没有陷入死记硬背或暴力搜索，而是展现出罕见的结构化思考。

从最初试探，到第 15 次尝试引入“纤维层”概念做降维，再到第 21 次灵光一现用“蛇形构造”寻找规律，Claude在短短 31 轮迭代内，就推出了适用于所有奇数维度的通用算法。

最让高德纳难以置信的，是Claude清晰透彻的推导过程。它不仅给出最终的 Python 代码（他随后改写为 C 并验证正确），还详细说明了如何从错误中总结、如何重塑问题。这种“自动演绎 + 创造性解题”的过程，让这位一直对生成式 AI 持保留态度的大师深受震撼，并在文末郑重写下：“向 Claude 脱帽致敬！”

更有意思的是，这句致意还带着一丝浪漫：他口中的Claude，既指眼前的 AI 模型，也是在向信息论奠基者Claude Shannon（香农）致敬。

当 88 岁的计算机奠基级人物与最前沿的 AI 在数学的星海相遇，这不仅意味着一道难题的收官，更标记着人类与 AI 协作新纪元的开端。正如高德纳所说，AI 捅破了那层最厚的窗户纸，接下来的路，我们将共同见证。