Vibe-Mathematics

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，概率均 上面这张 SVG 由零依赖脚本生成：node docs/generate_framework_diagram_v4.mjs（纯 Node、无 Python/matplotlib 依赖； 生成时会估算文字宽度，任何一行溢出容器都会告警并以退出码 1 结束）。

一句话流水线：起始产生 N 个常驻子代理（continuable，持久上下文）先各自头脑风暴、产出初始见解/方向 → 此后所有任务安排由它们互相留言 + 集体开会自主决定（框架只做消息总线/会议/任务板/产物沉淀，绝不分配任务）；每个常驻把有价值的产物按价值程度 / 动机用途计划 / 自身概率估计沉淀到自己的 Progress/ /、Propos/ /、Methods/ /、Subproblems/ / 库，并可互相阅读；验证由它们自行商议发起，仅当全体常驻一致（真或假）才写入 Verified/，否则留库附概率；常驻上下文量达阈值（默认 66%）自动 /compact；仅当全体一致认为原问题已解决才停止；可随时人工干预/增开/关闭常驻，支持断点续跑。 说明：V4 去掉 v3 的中央规划器与确定性角色（explorer/solver/verifier/planner/method-keeper），把"研究者"本身作为主体。详见 vibe-math-v4/实现方案.md。 保活机制（分级保活 A+B + 死锁看门狗）：团伙空闲超 activityTimeoutMs 会收到自驱动 CHECKPOINT（建议继续解决/发消息/提议任务，而非"是否要停止"），且并行填充——A 分支一次尽量填满 maxParallel 并发预算（同一时刻唤醒多个空闲常驻，而非"只唤醒 r1、结束后再 r2"的串行），邮箱投递也并行送达多个空闲收件人；唤醒失败会自动重新武装心跳；若团队空闲且无新产物超过 stallAutoMeetingMs（默认 6 分钟），框架会自动召集一次同步会议让常驻们自行决定下一步；若某次会议/验证卡死（超过 2×activityTimeoutMs 仍无新的发言/投票），框架会自动放弃该会议/验证并回到正常自组织，避免一个坏掉的会议永久卡住整个团队；会议不抢占验证——验证进行时会议请求会暂存，验证做完再补开（保持一致共识的"求真"环节不被协调讨论打断）——框架始终只促成、从不指派任务。 Vibe Math V5（研究所体系）🧪 实验性 · 最新

一句话定位：把 v4 的"一群互相留言的常驻"升级为一座研究所——有院士（领头人）、常驻研究员、 临时工三类职员，有所内公共规章，有群聊与会议，有自主雇佣/解雇，并且 任何结论都必须由至少 m 名有表决权者一致给出布尔概率 1 或 0 才能写入 Verified/。 图源与全部细节图（成员生命周期、一轮时序、共识状态机、会议流程、调度优先级、状态折叠、 提示词构成、任务板、职权矩阵）：vibe-math-v5/架构图.md。 上面这张 SVG 由零依赖脚本生成：node docs/generate_framework_diagram_v5.mjs。

一句话流水线：所办（会话根/人）configure → start 建所 → 院士（academician，组织与协调中心）拆解原问题并分派任务、定优先级、主持会议、督导进度；常驻研究员各自研究并持有表决权，临时工可按需雇入（无表决权、可被真实解雇）。框架只做媒介，绝不指派任务；一切结论都要 ≥ m = min(quorumCap, 在册有表决权人数) 张布尔票且全部同向才写入 Verified/（反向票阻塞、弃权不计票但计入平均概率，未达门槛留库附平均概率）；会议与验证双向互斥；状态写在研究所目录下的加固 JSON State/ .v5state.json（零 token 成本、串行写、读前必 load）；仅当全体有表决权者都认为原问题已解决才结题。 职位与职权、求真规则细节、运行机制、状态与持久化、提示词构成、研究所目录、工具面、与 v4 的差异：见 vibe-math-v5/架构图.md §13「从 README 移入的 v5 说明」（原文保留）；参数见参数速查表，最终论文见 docs/final-paper.md。 ✨ 功能特色 最终论文（四个预设默认