Knuth说了一声「震惊！」——如果你了解Knuth，你就知道这意味着什么
最初发表于LinkedIn
Donald Knuth在最新论文的开头写了两个词："Shock! Shock!"
在世最受尊敬的计算机科学家——写出《计算机程序设计艺术》、发明TeX、用60年定义了这个领域的人——被震惊了。
我和Knuth的作品有私人层面的关系。不是那种随意的关系。我大部分的硬核计算机科学功底和精神，都是从他的著作中学到的。他证明的优雅。他分析的严谨。他把每个算法当作需要精雕细琢的工艺品，而非待解决的问题。那种严谨至今塑造着我的工程思维方式。
所以当Knuth——一个对AI持怀疑态度数十年的人——写到Claude Opus 4.6在一小时内解决了他研究数周的一个开放组合问题时，我的关注角度与大多数人不同。
不是近似解。不是部分解。完全解决了。
Claude重新构造了问题，识别出它是一个Cayley有向图，尝试了暴力方法，放弃了，发明了一种纤维分解策略，走进了死胡同，回溯了，分析了一个模拟退火解的模式——然后找到了构造方法。
然后是最重要的部分：
Claude找到了答案，但无法证明它是正确的。
Knuth仍然需要自己写证明。AI的直觉是非凡的。它的严谨性不是。
这正是我每天在企业AI中看到的模式。也恰恰是Knuth的精妙头脑会预测到的——机器探索空间的速度比任何人都快，但理解为什么答案是正确的，仍然是一种根本性的人类行为。
善用AI的公司理解这一点。他们不会问"AI能做这份工作吗？"他们会问："在这个工作流中，哪里该让AI探索，哪里该让人类验证？"
Knuth写道："看来我得找一天修正一下我对生成式AI的看法了。"
如果这位教会我什么是计算机科学之美的人正在修正他的观点，你还在坚持什么？