88岁图灵奖得主高德纳：Claude一小时破解30年数学悬案

事件概述

88岁的计算机科学奠基人、图灵奖得主 Donald Knuth（高德纳）在其文章《Claude's Cycles》中披露，AI 模型 Claude Opus 4.6 仅用 1 小时便破解了一个他研究数周、根源可追溯至 30 年前的三维图论开放问题。

Knuth 对该结果感到震惊，并在文末写道：“为 Claude 脱帽致敬！”（Hats off to Claude!）。他认为这不仅是概率预测的成功，更是一次完美的“自动演绎与创造性问题解决”。

核心事实与技术细节

1. 待解难题背景

• 问题定义：在一个拥有 $m^3$ 个顶点的三维网格图中，能否将所有弧完美拆解成三个互不重叠、且经过每个顶点恰好一次的长循环（即哈密顿循环）？
• 历史难点：
  • $m=2$ 的情况已被证明不可能。
  • Knuth 此前仅解出了 $m=3$ 的特例。
  • 常规暴力搜索（DFS）在 $m=3$ 时搜索空间高达 $6^{27}$，效率极低。

2. Claude 的解题路径

Claude 并未依赖暴力计算，而是通过 31 次探索迭代，展现了严密的逻辑演进能力：

• 第 15 次探索：引入商映射（Quotient Map），将顶点划分为不同的“纤维层”（Fiber layers）。发现所有弧均从层 $F_s$ 指向 $F_{s+1}$，成功将复杂的三维路径寻找降维简化为层间规律跳转。
• 第 21 次探索：利用凯莱图（Cayley Digraph）的性质，提出一种称为“蛇形构造”（Snake construction）的方法，通过特定步进逻辑在局部生成规律路径。
• 第 27-30 次探索：在发现简单坐标旋转会导致超平面冲突后，模型调整策略，敏锐察觉到在某些纤维层中，移动选择可仅取决于单个坐标。
• 第 31 次探索：基于上述发现，编写出通用的 Python 构造算法。

3. 验证与结果

• Knuth 亲自将代码简化为 C 语言版本进行验证。
• 测试结果：在 $m=3, 5, 7, 9, 11$ 等奇数情况下全部正确；测试伙伴 Filip Stappers 甚至将其测试至 $m=101$，结果依然完美契合。
• 局限性：当挑战偶数情况时，模型陷入僵局并出现报错，但这反而印证了科学探索的真实性。

关键结论与意义

1. 逻辑推理能力的突破：Claude 不仅给出了答案，还清晰展示了如何从错误中学习、重新表述问题以及利用群论性质进行推导的过程。Knuth 认为这标志着 AI 从简单的概率预测迈向了真正的逻辑严密数学发现。
2. 人机协作的新起点：尽管 AI 尚未解决偶数情形，但其捅破了最厚的那层窗户纸，证明了人类与 AI 协作解决复杂数学问题的巨大潜力。
3. 行业影响：对于一位以追求极致精确著称、曾对生成式 AI 持保留态度的传奇学者而言，这一案例具有极强的冲击力，被视为计算机科学史上令人印象深刻的成功故事。