Vibe Mathematics — 多代理数学问题求解与验证框架（四架构）

English | 中文

运行在 DeepSeek Harness 内的一组 agent preset（vibe-math-v2 / vibe-math-v3 / vibe-math-v4 / vibe-math-v5）， 用多代理协作自动求解数学问题并对结论做多代理交叉验证。四个预设共享「断点续跑、 中途人工干预、进度汇报、自然语言驱动」底座能力，但采用四代不同的求解架构： 💡 v4/v5 优先——vibe-math-v4（「常驻自组织合作研究」架构）与 vibe-math-v5（最新的「研究所体系」）是当前主要维护方向；vibe-math-v2 与 vibe-math-v3 是经典/早期架构，已成熟定型，今后只做适配兼容维护（新能力只进 v4/v5）。四套都随包安装、可正常使用；详见 docs/maintenance-policy.md。根据你的实际需求自行选择（详见下方「怎么选」）。

• vibe-math-v2（概率驱动 · JSON 数据层）· 经典：qs.json 问题清单 + Propos/ 命题库 + 概率驱动调度 + 代码启发式调度；
• vibe-math-v3（第三代 · 论文式 md + 规划代理 + 方法库）· 经典：全部知识以 Markdown 论文/研究报告式 存储与续写（Problems/ 问题清单+依赖+来源动机、Progress/ 研究日志、Propos/ 命题库、Methods/ 通用理论发明库、Verified/ 绝对可信）；调度前由规划代理自主制定接下来 N 步计划；解决过程中发明的理论/框架/工具/方法/思想由 Method Keeper 沉淀为可复用方法体系（如发明群论、泛函分析那样）。
• vibe-math-v4（第四代 · 常驻自组织合作研究）🧪 实验性：一组持久化常驻子代理互相留言 + 开会，自主决定一切任务安排（无中央调度）；各自沉淀进度/命题/方法/子问题库并互相查阅；验证**仅当全体常驻一致（真 或 假）**才写入 Verified/，否则留库附概率；上下文达阈值自动 /compact；仅当全体一致认为原问题已解决才停止。
• vibe-math-v5（第五代 · 研究所体系）🧪 实验性 · 最新：把常驻升级为一座研究所——院士（领头人 / 组织与协调中心，负责拆解与分派、定优先级、主持会议、督导进度）+ 常驻研究员（有表决权，可自主雇佣/解雇自己的临时工）+ 临时工（无表决权）；有公共规章、群聊与会议、compare-and-set 任务板、真实解雇；≥ m 票布尔一致才写入 Verified/（反向票阻塞、弃权不计票、未达门槛留库附平均概率）；状态存于研究所目录下的加固 JSON State/<研究所>.v5state.json（串行写、读前必 load），不写入宿主会话日志，零 token 成本。

安装本插件包（或手动复制预设）后，DSH 的预设选择器里会出现四个 agent preset。

⚠️ 旧 preset 弃用（v2 / v3 / v4 / v5 / v5r）：它们仍在仓内作历史参考，但方向已改为 vibe-math-vmu ＋ pack；对应关系与“为何尚未从发货面移除”见 docs/DEPRECATED-LEGACY-PRESETS.md。

---

🧭 导航：我想要……→ 从这里开始

• 马上开始用（第一次跑） → 5 分钟上手
• 四个预设选哪个 → 四个预设怎么选
• 四套架构的定位、流程与分工 → 架构图 · 架构与分工（四套并列）
• 新功能：最终论文（收口时自动产出） → 功能特色 · 完整契约
• Lean 形式化验证 → Lean 形式化验证 · 完整契约
• 可观测面（status() / report() 字段与作用域） → 完整字段表
• 目录里都有什么 → 目录结构
• 调参数 → 参数速查表
• 断点续跑 / 中途干预 → 断点续跑 & 人工干预
• 已知边界（有意简化） → 已知边界

---

🧩 架构图（v2 + v3 + v4 + v5）

静态架构图；完整流程说明见 docs/架构图.md（v1 历史架构图；v2 起目录布局已变更）与 vibe-math-v5/架构图.md（v5 全套细节图）； 可编辑生成脚本：中文 v2/v3 海报由 matplotlib 脚本生成 v2 / v3（matplotlib → PNG）； 英文版 v2/v3 由零依赖 Node 脚本生成 v2-en / v3-en（→ SVG）； v4 / v5 （零依赖 Node → SVG，node docs/generate_framework_diagram_v4.mjs，加 --lang=en 生成英文版 示例图/框架图-v4-en.svg）。 v4 起改用 SVG：纯文本、diff 友好、任意缩放不糊；需要 PNG 时用无头浏览器截图（命令见生成脚本头部）。

Vibe Math V2（概率驱动 · JSON 数据层）· 经典

一句话流水线：qs.json 按优先级取问题 → Explorer 拆方向（全死路则重派生）→ 每方向一个 Solver 多轮迭代（引理进 Propos/、解法回 qs.json，概率均 <1）→ 调度器选 r（命题 / 命题+证明·证伪 / 问题+解法）派 ≥3 验证器独立审查→辩论→裁决 → 概率=1 自动收口（问题 solved、命题 1/0，优先级置 never）；全程状态落盘，resume 断点续跑，reportMode 可 file/push/both 汇报。

Vibe Math V3（论文式 md + 规划代理 + 方法库）· 经典

…