五分钟通关 NetHack：把这游戏当成模糊测试靶场
来源：antithesis.com — 2026-11-13
📋 概述
Antithesis 的公司史几乎是从「写个能通关 NetHack 的模糊器」开始的。这篇长文复盘了六年：从把随机字节喂给游戏、卡在四十七个核心跑一小时毫无进展，到把搜索本身当成一门概率编程语言，最终在近八成种子上五分钟内找到胜利路径，完成种子的中位通关时间不到两分钟。
🔑 核心要点
- 此前已知的机器人通关只有两次：2019 年靠预测随机数的 SWAGGINZZZ，2015 年约一万六千行 Clojure 的 BotHack
- BotHack 靠「布丁农场」刷经验与装备，3.6.0 版本后这条路被移除
- NetHack 同时难住人与机器：永久死亡、信息极度匮乏、需要长程规划
- Antithesis 自称某种概率编程语言：只部分描述任务，剩下交给搜索与优化填
- 把工具交到有能力的 AI agent 手里，30 秒就能通关一次
- 这篇按幕分章，从「学会握工具」写到「混沌素食裸修僧」的完整工作负载
💡 金句
Antithesis 现在能在近 80% 的 NetHack 种子下、五个实际时钟分钟内找到通往胜利的路径。
← 返回 Lobsters 首页
👍 0
👎 0