图灵奖得主克努特被 AI 给整不会了
88 岁的唐纳德·克努特(Donald Knuth),在圈子里是个挺“轴”的老头。作为图灵奖得主,他写了那本程序员都要拜读几遍的《计算机程序设计艺术》,还搞出了 TeX 排版系统。最让人佩服(或者说有点想吐槽)的是,这老爷子到现在连电子邮件都没用,跟这帮年轻人玩“数字化”完全不在一个频道上。
但最近,这位老法师被人工智能给“震”了一下。
他写了一篇短文,叫《Claude 的循环》,讲的是 Claude Opus 4.6 怎么在一小时内,把他琢磨了整整 30 年的数学题给解了。
这题是个什么鬼?
这是图论里的一道硬骨头:怎么把一个 3D 网格图里的所有连线,拆成三个完全不相交的“哈密顿回路”?
克努特自己试了数周,后来干脆试了 30 年,头发都愁白了,也没整明白通用的解法在哪。这玩意儿难啃,懂的都懂。
AI 是怎么“作弊”的?
当克努特的朋友把题扔给 Claude 时,这 AI 的反应有点意思。它没在那死记硬背或者搞什么暴力穷举(那是人类的常规操作,也就是碰运气),而是直接展示了那种冷冰冰但极其严密的逻辑。
整个过程看着像这样:
- 第 1 次试:瞎猫碰死耗子,先探探路。
- 第 15 次试:突然意识到得换个活法,搞了个“纤维层”概念,把维度降下来。
- 第 21 次试:灵光一闪,用了个“蛇形构造”去找规律。
- 最后:只试了 31 次,Claude 就推导出了一套适用于所有奇数维度的通用算法。
最让我(克努特)惊讶的其实是过程
其实比答案更让克努特坐不住的是 AI 的推理过程。
- 代码直接蹦出来:AI 直接甩出了 Python 代码,克努特顺手转成 C 语言一跑,完美,没毛病。
- 会自己改错:文章里写得明明白白,AI 遇到错误不甩手,而是回头重新定义问题,接着再试。
- 态度转变:这种“自动推导加创造性解题”的能力,确实把克努特给打服了。他以前对生成式 AI 那套还挺有抵触情绪的,最后不得不在文章结尾恭敬地来一句:"我向 Claude 脱帽致敬!"
文章里还有些“小心思”
克努特这文章标题提的"Claude",其实是个双关语。既指代现在的这个 AI 模型,也算是对信息论之父 Claude Shannon 的一种隔代致敬。
当计算机科学界的“老皇族”(88 岁高龄)和前沿 AI 在数学这潭深水碰面,感觉像是人类和机器在桌球桌上对了一杆。这不仅仅是解了一道题,更像是给咱们这种“不用邮箱的老古董”敲了个警钟:人类和 AI 合作的新纪元,大概要开场了。
克努特最后那句话挺有意思,他说 AI 已经敲开了那扇最厚实的窗户。至于窗户后面是天堂还是更深的坑,估计得看咱们人类怎么跟这玩意儿一起玩了。
