前言¶
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。
