Dungeon Proof Crawler：通过RPG学习如何写证明
摘要
Dungeon Proof Crawler 是一款教育类RPG，通过地牢探索游戏玩法教会玩家如何撰写数学证明。
暂无内容
查看缓存全文
缓存时间: 2026/07/05 22:34
# Dungeon Proof Crawler
来源：https://dhilst.github.io/algae/game/index.html
点燃火炬...
相似文章
Mask-Proof: 一种基于LLM的数学证明自动化数据梳理流水线
介绍Mask-Proof，一种基于LLM的流水线，可将数学证明转化为掩码步骤任务用于自动评估，并呈现MaskProofBench，一个包含292个精选问题的基准测试，与专家标注者的一致性达到96.8%。
《Caves of Qud》中的端到端程序化生成（2019）
自由游戏（Freehold Games）的Brian Bucklew和Jason Grinblat介绍了他们如何结合程序化生成技术，在游戏《Caves of Qud》中创建具有历史、文化、建筑、NPC和任务的完整村庄。
理解反证法 [pdf]
本文讨论如何理解反证法，这是一种基本的数学推理技巧，旨在用于教育目的。
Sales and Dungeons: 热敏打印机TTRPG工具
Sales & Dungeons 是一个免费、开源、用于TTRPG的热敏打印机工具，让您生成并打印地下城、遭遇战及其他内容，并可通过OpenAI、OpenRouter或本地模型进行可选的AI集成。
@rohanpaul_ai: Google DeepMind 的新论文。表明人工智能现在可以搜索形式化数学证明，但仅限于精心限制的范围内……
Google DeepMind 的新论文介绍了 AlphaProof Nexus，这是一个结合了 LLM 与 Lean 证明检查器的 AI 系统，用于在受限的数学领域中搜索形式化证明。该系统解决了来自 Erdős 和 OEIS 集合的几个未解问题，展示了一种新的分工：AI 提出候选证明，验证器确保正确性。