计算机科学界近日迎来一场震撼学术圈的突破——由AI模型Claude独立完成的图论难题解法，被图灵奖得主、算法领域泰斗高德纳（Donald Knuth）正式收录于其未完成的经典著作《计算机程序设计艺术》中。这一成果不仅标志着生成式AI首次深度参与数学基础研究，更引发学界对人类与机器协作模式的重新思考。
该难题源于高德纳在撰写《计算机程序设计艺术》新章节时提出的"三维哈密顿环分解"问题。研究者需在m×m×m的立方体网格中，找到三条互不重叠的哈密顿环路径，每条路径需恰好覆盖所有3m³条有向边且长度均为m³。尽管高德纳此前已解决m=3的特例，其合作者也通过实验找到4≤m≤16的解，但通用公式的推导始终未能突破。
转机出现在Anthropic公司发布的混合推理模型Claude Opus 4.6接手研究后。该模型通过31次系统性探索，逐步排除简单线性函数、暴力搜索等无效方案，最终在第15次尝试中提出"纤维分解"关键思路——将三维结构按s=(i+j+k) mod m分层，转化为二维网格问题。经过16次迭代优化，模型在第31次探索时提出基于"bump规则"的构造方法，成功生成符合要求的路径。
高德纳在斯坦福大学官网发布的论文中详细记录了这一过程。他特别指出，Claude的突破不在于最终解法，而在于其展现的研究范式：模型通过重新表述问题、设计实验程序、发现数学规律，完整复现了人类数学家的探索路径。这种"猜想-验证-优化"的循环，与传统AI的暴力搜索或模式匹配形成鲜明对比。
验证阶段显示，该解法在m为奇数时完全成立，但m为偶数时仍存在限制（如m=2已被证明无解）。高德纳进一步证明，Claude发现的构造方法属于760种等效解中的一种，这暗示着该领域可能存在更深刻的数学结构等待挖掘。目前，研究团队正尝试将模型扩展至四维空间及其他组合数学问题。
这一成果在学术圈引发连锁反应。麻省理工学院数学系教授在评述中称："当AI开始提出可验证的数学猜想，而人类数学家负责严格证明时，传统的学科边界正在消融。"比尔·盖茨早年关于《计算机程序设计艺术》的著名评价——"读通此书者请投简历"——如今被赋予新的含义：未来的计算机科学家或许需要同时掌握AI协作与数学证明的双重技能。
作为计算机科学奠基人之一，高德纳的学术生涯始终与技术创新同步。他1977年为完善著作排版而开发的TeX系统，至今仍是学术出版领域的金标准；其提出的"文学编程"理念，更预见了现代代码与文档融合的开发模式。此次将AI研究纳入经典著作，再次印证了他对技术趋势的敏锐洞察——在著作第五卷修订时，他已预留章节讨论自动定理证明的影响。
