Bend 官网上线「赢不了的游戏」:AI 数学上无法写出制胜 bug
alejandroll10 · x · 2026-09-10
Victor Taelin 介绍了 Bend 编程语言官网的一个现场演示:一个只有一条规则的游戏——「你赢不了」。玩家可以在聊天框里让 AI 改游戏规则试图通关,但 AI 被数学上禁止写出 bug,而按规则「赢=bug」,所以永远赢不了。
实际效果很有趣:
- 「移除右边的墙」→ AI 把墙放到了左边
- 「WASD 改成传送 2 格」→ 不能穿墙
- 「允许穿墙」→ 墙变成 2 格厚
- 「删掉所有墙」→ WASD 变成移动旗帜
无论怎么 prompt、威胁甚至越狱,玩家都碰不到旗帜:AI 提交代码前必须形式化证明旗帜不可触及。Taelin 提到不懂形式化证明的人会怀疑,但事实就是如此。
「编程与Agent」频道最新
- ChatGPT Sites 新玩法：员工用它搭表单取代 Google Forms — sherwinwu · 2026-09-10
- Turing 发布 CEO Bench:500+ 任务模拟公司里考核前沿 Agent — ecekamar · 2026-09-10
- Seroter 每日阅读:五种不该 vibe coding 的东西、给 Agent 配生产密钥的安全姿势 — rseroter · 2026-09-10
- Notion CEO:智能可租,上下文须自有 — ivanhzhao · 2026-09-10
- 开发者实测 Codex 语音模式学数学:好用但 bug 不少 — SIGKITTEN · 2026-09-10
- AI Agent 不止会用浏览器,现在还能直接打电话了 — Illustrious-Fig-326 · 2026-09-10