前言¶
DeepSeek Harness（DSH）采用插件化架构，旨在让开发者通过组合插件构建复杂应用。在构建数学推理技能时，核心挑战在于如何保证推理过程的严谨性，并避免模型在不确定时编造答案。dsh-math-olympiad 是一个面向 IMO、Putnam、USAMO、AIME 等竞赛场景的技能包，通过纯推理、对抗验证和校准信心输出，解决上述问题。
核心功能¶
该插件提供了一套严谨的数学解题流程，主要包含以下能力：
- 纯推理求解：使用 Pólya 六板斧等启发式方法进行求解。
- 对抗验证：利用 subagent 的新鲜上下文对证明进行攻击性验证，检测漏洞（如“这能证 RH 吗？”）。
- 校准信心输出：输出包含“解 + 验证结论 + 信心”三位一体的结果，信心等级分为 high、medium 或 honest “no confident solution”。
- LaTeX 编译：支持将证明正文编译为 PDF。
- 思考链隔离：验证器不共享推理轨迹，仅接收
.proof字段，防止思考链泄露。
安装与启用¶
安装前需确保前置依赖已就绪。
前置依赖¶
本插件在开发形态下使用 link: 依赖指向相邻的 DeepSeek Harness 源码检出（dsh-src）。克隆本仓库后，需先检出官方 deepseek-ai/deepseek-harness 到同级的 dsh-src/ 目录，并执行其构建。
安装命令¶
技能以 profile bundle 形式安装：
cd dsh-math-olympiad 的父目录
dsh plugin --profile <name> add ./dsh-math-olympiad
dsh --profile <name>
注意事项¶
若从源码直接安装，pnpm >= 10 默认拒绝运行 git 依赖的 prepare 脚本，会导致首次 add 失败。需要在 profile 的 pnpm-workspace.yaml 中添加：
allowBuilds:
dsh-math-olympiad: true
若不想处理此问题，可直接安装 pnpm pack 生成的 .tgz 产物。
典型用法¶
技能运行时遵循固定流程：
- 解：使用纯推理方法（如 Pólya 六板斧）。
- 剥离思考链：只保留证明正文，移除中间推理步骤。
- 对抗验证：启动 subagent，提供新鲜上下文，验证器会尝试攻击证明中的具体漏洞（参考
verifier_patterns.md）。 - 循环与弃权：若发现致命缺口，回到步骤 1 重试（最多 2 轮）；若仍失败，诚实输出
no confident solution并附上卡点。 - 输出：最终结果包含解、验证结论、信心等级及可选的 PDF 文件。
权限与局限¶
权限¶
插件运行时需要以下权限：
* 读取面：读取面。
* 命令面：执行 bash 脚本（如 check_latex.sh、compile_pdf.sh）。
* 写面：写入 LaTeX 输出目录。
插件无网络请求，不依赖外部服务。
局限¶
- 正确率无承诺：验证机制增强严谨性，但无法消除出错可能。
- 依赖隔离：验证器质量取决于 subagent 模型与上下文隔离纪律，思考链一旦混入正文即失效。
- 弃权机制：诚实弃权是特性，输出
no confident solution是正常流程，并非失败。
总结¶
dsh-math-olympiad 为 DSH 提供了一套严谨的数学解题与验证框架，特别适合需要高可信度推理输出的场景。安装路径见 GitHub 仓库：https://github.com/988hj7tczd-oss/dsh-math-olympiad。
