事件概述 - 88岁的图灵奖得主、计算机科学奠基人Donald Knuth（高德纳）发文，记录其研究数周、根源可追溯30年的三维图论开放问题，被Claude Opus 4.6在1小时内破解[1][2][5] - Claude通过31次探索，运用“纤维分解”、“蛇形构造”等结构性思路，推导出适用于所有奇数m的通用构造算法，而非暴力搜索[4] - 高德纳亲自验证了m=3, 5, 7, 9, 11等情况，结果全部正确，其朋友甚至测试到m=101依然完美契合[10][11] - Claude在解决奇数情形后，挑战偶数情况时陷入僵局，程序出现报错[13] 问题与解决方案细节 - 具体问题：在一个拥有m^3个顶点的三维网格图中，能否将所有的弧完美拆解成三个互不重叠、且经过每个顶点恰好一次的哈密顿循环？m=2已被证明不可能，高德纳此前仅解出m=3的特例[6] - 解决过程：Claude在第15次探索中引入商映射，将顶点划分为“纤维层”，将三维路径寻找问题降维简化；在第21次探索中利用凯莱图性质，发现“蛇形”构造方法；在第30次探索中发现在某些纤维层移动的选择可仅取决于单个坐标，最终在第31次探索中编写出Python程序给出通用算法[7][8][9] - 方案特点：Claude清晰地展示了其从错误中学习、重新表述问题、利用凯莱图的群论性质进行推导的过程，完成了一次“自动演绎与创造性问题解决”的示范[12] 高德纳的背景与影响 - 高德纳是计算机科学界的传奇人物，36岁获得图灵奖，是历史上最年轻的图灵奖得主之一[16][18] - 其著作《计算机程序设计艺术》被《美国科学家》杂志列为20世纪最重要的12部物理科学著作之一，与爱因斯坦《相对论》并列[19][22] - 为完美呈现数学公式，高德纳开发了TeX排版系统，其版本号不断趋近π，象征无限接近完美[27] - 高德纳自1990年起停用电子邮件以专注研究，是一位对精确性追求极致的老派逻辑大师[27] 事件意义与行业启示 - 此事件展示了生成式AI（特别是Claude）在逻辑推理和创造性数学问题解决方面的强大能力，超越了简单的概率预测[12] - AI在攻克难题后遇到瓶颈（如偶数情况），恰恰证明了科学探索的真实性，并为人类与AI协作指明了新起点[14] - 高德纳的震撼反应（“Shock! Shock!”、“为Claude脱帽致敬！”）本身极具冲击力，因其代表了传统严谨逻辑思维对AI新能力的认可[1][5][27] - 高德纳文中提及的“Claude”一语双关，既指AI模型Claude，也指向信息论奠基人克劳德·香农（Claude Shannon），赋予了事件更深的历史意义[27]