01GAME · BROWSER
黑渊 VAULTREAVE
下潜、抢宝、撤离。
《黑渊》是一款 2D 像素地牢游戏，玩家需要在继续探索与撤离之间做选择。选择职业，在随机地牢中探索、战斗和搜集战利品，并在风险与收益之间决定撤离时机。无需下载，打开网页即可开始。
免费开放 · 浏览器直接游玩
QINGDAO · DIGITAL PRODUCTS & RESEARCH
把想象力，做成现实。
青岛果冻先生网络科技有限责任公司成立于 2017 年。我们围绕游戏、人工智能与个人数字工具持续研发，为用户创造可以直接体验、也值得长期使用的产品。
PLAYCREATERESEARCH游戏智能系统
SELECTED PRODUCTS · 代表产品
从游戏世界，到长期系统。
代表产品覆盖游戏与个人智能工具。它们面向不同场景，从真实使用反馈中发现问题并更新版本。
02AI · LONG-TERM CONTEXT
Aethmere 识宙
让长期工作，继续向前。
Aethmere 是面向长期 AI 协作的个人上下文系统，帮助用户持续管理目标、项目资料与重要决定，让不同设备和任务之间的工作不必反复从零开始。
提供桌面版与网页版 · 根据使用反馈更新
RESEARCH PROJECTS · 科研项目
把长期问题，做成工程。
在产品研发之外，我们持续研究数学知识如何被可靠组织，以及个人如何重新掌握自己的注意力。研究项目公开目标、方法与边界，不把进行中的探索包装成已经完成的结论。
01KNOWLEDGE ENGINEERING · MATHEMATICS
数学定理知识工程
让定理、来源与验证状态彼此可追溯。
面向数学知识的长期工程研究：用稳定身份、依赖关系、来源记录和形式化证明工具组织定理，使每一条结论都能说明它是什么、依赖什么，以及验证到了哪里。
持续研究 · 初版规范与目录已建立
研究边界不以收录代替证明，不把数值实验表述为定理成立。
02HUMAN-CENTERED SYSTEMS · ATTENTION
清屏 QuietList
把内容选择权，交还给用户。
个人注意力基础设施研究：探索如何在用户授权下分析公开内容，以有证据、可解释、可撤销的规则帮助用户标注、折叠或隐藏低价值信息。目标是节省注意力，而不是延长停留时间。
原型研究 · 浏览器扩展 v0.2
研究边界不做人群或人格评分，不建立中心化全网黑名单。
HOW WE BUILD · 研发理念
对体验认真，对边界诚实。
体验是第一验收标准
从一次攻击的反馈到一次回答的清晰度，功能只有真正被人感受到，才算完成。
长期价值优先
我们关注产品能否持续使用、持续演进，让内容、系统和世界观拥有长期生命力。
对能力边界保持诚实
用可体验的版本、可复查的验证和明确的项目状态，说明已经做到什么、仍在研究什么。
ABOUT MR. JELLY · 关于我们
2017 年成立于青岛，持续研发游戏与智能系统。
青岛果冻先生网络科技有限责任公司是一家聚焦数字产品研发的技术公司。我们把创意、美术、工程与验证组织在同一条产品链上，面向用户推出可直接体验的游戏与智能工具，同时开展数学知识工程和个人注意力基础设施等长期研究。
公司全称青岛果冻先生网络科技有限责任公司