把逻辑证明做成地牢探索：浏览器游戏 Proof Dungeon 上线
CatAstro_Piyush · x · 2026-10-31
开发者 triiro 发布了浏览器游戏《Proof Dungeon: 自然演繹の迷宮》，把「假设」比作钥匙、「结论」比作门，让玩家在地牢探索过程中完成自然演绎证明。
游戏旨在以解谜的方式学习逻辑学与自然演绎，支持日语和英语两种语言，可直接在浏览器中游玩。
「Fun」频道最新
- Beff Jezos 发梗图：敏感年轻男人只有两种心情 — beffjezos · 2026-10-31
- 「别用你无法完全掌控的工具」引 OpenClaw 自托管 agent 之争 — heyneighbor · 2026-10-31
- OpenAI 前员工调侃:在 ChatGPT 里找 4 处浏览器入口和 3 处密码存储 — sytelus · 2026-10-31
- 网友发现 OpenAI 宣传视频里藏着 Bogdanov–Takens 分岔相图 — tszzl · 2026-10-31
- 博主让 Opus 5.5 读自己的 MRI 和病历，生成睡眠问题解读视频 — gabriel1 · 2026-10-31
- 曼德博集合势能山：用 Green 函数渲染出 3D 分形地貌 — geoffreyirving · 2026-10-31