解谜界的深蓝时刻降临：AI达莫克领先人类... Features
2026年10月20日，据《卫报》报道，一款以《星际迷航》角色命名的AI程序“达莫克”（Darmok）在《泰晤士报》年度加密字谜锦标赛中，以领先29岁人类冠军利亚姆·休斯约3分钟的成绩完成最后一题，成为首度在正式赛事中击败人类选手的加密字谜AI。
明星真相从深蓝到达莫克：AI跨越三十年的智力攀登
1997年，IBM超级计算机“深蓝”在国际象棋正赛中击败世界冠军加里·卡斯帕罗夫，被视为人工智能战胜人类智力的标志性事件。当时的《纽约时报》拼图编辑威尔·肖尔茨并不认为类似胜利会在填字游戏领域重现。他在1999年写道：“电脑能解决双关和文字游戏的谜题吗？我不这么认为。在填字游戏这种范围更广、坦白说更复杂的游戏中，我们人类依然表现出色。”据《卫报》报道，这一论断在二十多年后被彻底颠覆：2026年10月，达莫克用实际表现证明，机器不仅读懂了谜题中的双关，还比人类冠军解得更快。
明星内幕三分钟之差：达莫克如何改写锦标赛结局
达莫克的诞生源于德州大学奥斯汀分校计算机科学家锡德·查特吉博士2025年启动的一项计划。查特吉以《星际迷航》中船员必须用寓言才能沟通的外星种族来命名这套系统，因为破解加密字谜正如与一个只说隐喻的文明对话。达莫克首次参赛并不顺利——它在尝试《泰晤士报》锦标赛决赛题时，坚持了18分钟后放弃。今年的成功部分归功于它解决了一道难倒五名决赛选手中三人的谜题，其中包括14次夺冠的马克·古德利夫。最终，达莫克在完成最后一题时比29岁的利亚姆·休斯快了约3分钟，而休斯同时成为该赛事史上最年轻的人类冠军。据《泰晤士报》确认，达莫克的成绩与休斯的冠军头衔并列发布，引发解谜圈关于“AI是否应参赛”的广泛讨论。
明星黑料加密字谜为何被称为AI最难攻克的堡垒
加密字谜的难度远高于一般美式填字游戏。普通填字谜依赖常识、双关和字面暗示，而加密谜题通过字母重组、同义词替换、视觉陷阱等手段，将谜面与答案之间编织出多重逻辑关系。2006年，一款名为WebCrow的程序在一个AI学术会议上击败了75名人类解谜者；2021年，程序Dr Fill在最具声望的美式填字游戏锦标赛中“夺冠”。但据《卫报》报道，即便到了2024年11月，该报专栏作家艾伦·康纳仍在追问：“加密字谜会成为AI最后无法征服的东西吗？”这个问题的答案，在不到两年后由达莫克给出。
破解SNARF：一道难倒三位决赛选手的文字陷阱
决赛中的一道题成为达莫克获胜的关键：“Wolf trap missing its lowest crosspiece? (5)”（捕狼陷阱少了最底部的横梁？五个字母）。已填字母给出模式S_A_F，“wolf”的同义词有SCARF和SNARF（都表示狼吞虎咽地吃），但完整的字谜逻辑依赖视觉元素：“trap”提示同义词SNARE，去掉字母E的底部横线——“missing its lowest crosspiece”——E就变成了F，答案SNARF由此得出。查特吉博士承认，他无法总结达莫克最怕哪种类型的线索，但透露它对《卫报》作者约翰·亨德森（笔名Enigmatist）的谜题比对其他多数作者的更感吃力。如果你也想挑战达莫克，它曾用4分10秒解出《卫报》的Fed加密谜题，读者大可一试。
四个大模型协同：达莫克的技术内核
达莫克并非单一算法，而是四个前沿AI模型的组合。查特吉将达莫克的进步归功于模型能力的提升和他自己的工程改进，例如让程序在尝试完所有线索后再填入答案，避免单点错误引发连锁误判。
| 模型 | 在达莫克中的角色 |
|---|
| --- | --- |
|---|
| Gemini 3.1 Pro | 主要解题引擎之一 |
|---|
| Claude Fable 5 | 主要解题引擎之一 |
|---|
| GPT-5 | 需要时参与解题 |
|---|
| GPT-6 Astra | 需要时参与解题 |
|---|
在多数情况下，前两个模型承担主要解题工作，后两者在僵局或意见分歧时介入“会诊”。查特吉告诉《卫报》，这种多智能体协作方式显著提高了系统对复杂文字游戏的容错能力。
下一座山峰：让AI设计谜题有多难
击败人类解谜者只是第一步。查特吉认为，AI若要设计出令人满意的加密字谜，将面临更巨大的跨越。“你得构造一个句子，既能在普通英语中流畅解析，又能在加密英语中顺畅解析，而这两套语法差异极大，”查特吉对《卫报》表示，“如果说击败人类解谜者相当于攀登珠穆朗玛峰，那么下一关我称之为‘奥林匹斯山’级挑战。”换言之，机器已学会拆解谜题，但如何编织答案与谜面之间层层嵌套的密码，仍是一片未竟之地，而这背后真正的难点是自然语言处理与规则生成的交界处。
Q1: 达莫克是什么？谁开发了它？
A1: 达莫克（Darmok）是德州大学奥斯汀分校计算机科学家锡德·查特吉博士开发的一套AI解谜系统，于2025年启动，2026年10月在《泰晤士报》加密字谜锦标赛中首次击败人类选手。它以《星际迷航》中只用隐喻交流的外星种族命名，由Gemini、Claude和GPT等四个前沿模型共同驱动。
Q2: 加密字谜和普通填字游戏有什么区别？
A2: 普通美式填字游戏依赖常识与双关联想，而加密字谜的线索由“定义+文字游戏”构成，解题者需要识别字母重组、同义词替换、视觉变形等隐秘提示。例如SNARF一题将SNARE的字母E去掉底部横线变成F，要求解谜者同时调动语言和视觉推理能力，这正是它长期被视为AI最难攻克领域的原因。
从深蓝到达莫克，AI用了近三十年跨越加密字谜的关卡。当机器以3分钟优势改写人类冠军的成绩时，解谜界的“深蓝时刻”已经到来。下一关“奥林匹斯山”级的出题测试，留给人类与算法的时间同样值得期待。
