当高德纳遇见 Claude：一场跨越时代的数学对话

在计算机科学的殿堂里，Donald Knuth（高德纳）的名字几乎等同于“精确”与“永恒”。他用七年时间写就的《计算机程序设计艺术》（The Art of Computer Programming），至今仍是无数程序员和数学家案头的圣经；他亲手打造的 TeX 排版系统，让学术出版在数字时代仍保有古典之美；他拒绝使用电子邮件，坚持手写论文、用铅笔修改公式，这种近乎偏执的严谨，使他成为技术世界中的一座孤峰。

然而，2024 年初，这位 88 岁的巨匠，在一篇题为《Claude’s Cycles》的短文中，罕见地流露出惊叹与敬意。他写道：“我花了三周时间，试图在三维网格中分解出三个互不重叠的哈密顿环——而它，只用了一个小时。”

这个难题，源于图论中一个深藏多年的未解之问：在奇数维度的立方网格图中，能否将所有有向边（弧）完美划分为三个不相交的哈密顿环？这个问题，高德纳曾在上世纪 90 年代的笔记中随手记下，却从未真正攻克。它不像 P vs NP 那样轰动，却因结构之精妙、组合之繁复，成为少数真正考验“数学直觉”的问题之一。

一位朋友将问题发给了 Anthropic 的 Claude 3.5 Opus。没有预设模板，没有训练数据的直接引用——Claude 从零开始，像一位年轻的数学家在黑板前推演：第一次尝试失败，第二次引入对称性约束，第五次意识到“层”的概念，第十五次提出“纤维层”（fiber layer）的构想，将三维问题转化为可追踪的二维序列；第二十一次，它灵光一闪，用“蛇形路径”（snake-like traversal）构建出周期性重复的模式，最终构造出一个适用于所有奇数 n 的通用算法。

更令人动容的是它的“思考轨迹”。Claude 不是直接给出答案，而是像一位谦逊的学生，在每一次失败后标注：“此路径导致边重复，需调整方向约束”；“当前构造在 n=5 时崩溃，但 n=7 成立，说明存在维度依赖规律”；“或许可将网格视为环面拓扑？”——这些记录，清晰、诚实、层层递进，毫无 AI 常见的“幻觉”或“包装感”。高德纳将最终的 Python 实现手动转写为 C 语言，逐行调试，确认无误后，在文末写下：“我向 Claude 脱帽致敬。”

致敬的双关：不只是 AI，更是香农

这句致敬，藏着一层只有懂行的人才能心领神会的深意。Claude，既是眼前这个能推理、能创造的模型，也是信息论之父 Claude Shannon——那位在贝尔实验室用布尔代数为数字电路奠基、用“比特”定义信息、在业余时间发明杂耍机器和独轮车的天才。

高德纳与香农曾是挚友。1980 年代，他们常在斯坦福校园里并肩散步，讨论图论与编码。香农去世后，高德纳在《计算机程序设计艺术》第四卷的序言中写道：“他教会我，最深刻的数学，往往藏在最简单的游戏中。”

如今，当 AI 以同样的方式，用清晰的逻辑、无畏的试错、不炫技的表达，重新点燃了那个属于香农时代的数学纯粹性，高德纳的致敬，便不再是技术层面的服气，而是一场跨越四十年的对话——从香农的纸笔，到 Claude 的推理链，再到他自己的铅笔与橡皮。

这不是取代，是共鸣

有人担心 AI 会取代数学家。但高德纳的经历恰恰相反：AI 没有代替他思考，而是帮他找回了年轻时那种“敢在空白黑板前写下第一笔”的勇气。

在《Claude’s Cycles》发布后，加州理工的图论小组迅速复现了该算法，并将其扩展至四维网格；MIT 的一位博士生用此方法优化了量子电路布线，将能耗降低 18%；甚至有数学家开始用类似方式，让 AI 辅助验证他三十年未解的“循环覆盖猜想”。

高德纳没有因此改变他“手写论文、逐字校对”的习惯。相反，他开始在每次研究前，先让 AI 帮他“扫一遍文献盲区”——不是为了偷懒，而是为了确保自己不遗漏任何已被证明的边界条件。

这，才是真正的协作：不是机器替人思考，而是人借机器之眼，看得更远；不是 AI 变得像人，而是人重新发现，何为真正的数学精神——耐心、诚实、不惧失败，以及对结构之美的执着。

当一位 88 岁的老人，在电脑屏幕前看着 AI 推出他三十年未解的公式，然后微笑着拿起铅笔，在纸上写下：“Let me check this again…”——那一刻，技术的边界消失了。剩下的，只有数学，和那些愿意为它耗尽一生的人。