前言¶

DeepSeek Harness (DSH) 的核心理念是「一切皆插件」。針對數學研究場景，dsh-frontier-math 是一個面向 DSH 的前沿數學研究工作流插件。它不會承諾「自動解決任意開放問題」，而是通過嚴格的選題、開放狀態覈實、聲明依賴和獨立驗證門檻，提高產出真正新穎且可複覈結果的概率。

該插件由 inoricon1 維護，採用 MIT 許可證。它旨在幫助研究者在面對複雜數學問題時，建立結構化的研究流程，從項目立項到最終證書生成，提供全流程的輔助工具。

核心功能¶

插件提供了四個核心工具，分別對應研究流程的不同階段：

• frontier_math_project：創建、評分、查看和推進研究項目。

  • 問題必須通過以下硬門才能立項：
    • 開放狀態證據 ≥ 3/5
    • 陳述清晰度 ≥ 4/5
    • 獨立驗證路徑 ≥ 3/5
    • 已有工作風險 ≤ 2/5
    • 綜合機會分 ≥ 3.0

• frontier_math_prior_art：覈實問題是否已解決。

  • 一次完整審計必須覆蓋：精確陳述或獨特片段、等價表述與對偶、原論文及專家頁面的當前狀態、近期預印本與後續結果、證明與反例搜索。
  • 要求：至少兩個獨立域名、兩個來源類別、兩個證據家族、一個權威來源。
  • 發現可信的已解、已否證或狀態衝突時，項目會自動阻斷。

• frontier_math_claim：記錄猜想、經驗發現、推導、反例和定理，並維護無環依賴圖。依賴未驗證時，結論不能標爲已驗證。

• frontier_math_certificate：記錄 Lean、精確計算、SAT/SMT、區間算法、文獻與專家複覈證書。首版只記錄獨立驗證結果，不執行任意命令。

安裝與啓用¶

在插件目錄下運行以下命令進行安裝和驗證：

npm run verify
dsh plugin --profile web add link:.

安裝完成後，重啓 DSH Web 服務。可以通過以下命令檢查配置是否生效：

dsh --profile web --dump-config

DSH Web 的瀏覽器研究狀態面板地址爲：

http://127.0.0.1:3080/frontier-math

典型用法¶

推薦的工作流包含以下步驟：

1. 讓模型創建項目並給出逐項選題評分。
2. 完成五類已有工作檢索；逐條分類來源。
3. 對任何「已解決/部分解決/等價命題」來源寫等價性說明。
4. 只有在審計結果爲 provisionally_open 時，才進入研究階段。
5. 建立多個互相區別的證明、反例和構造路線。
6. 將核心步驟拆成聲明依賴圖，保存失敗路線。
7. 用 Lean、精確程序或專家審查生成獨立證書。
8. 成果打包前啓動 recheck，重新完成五類檢索。
9. 自動門檻通過後進入 ready_for_expert_review；最終仍由領域專家確認。

在模型配置方面，建議使用 deepseek-v4-pro，推理檔位設爲 max，並啓用 DSH 原生工具調用，保留交錯思考狀態。

適用場景與注意¶

• 數據存儲：項目默認位於 %DSH_HOME%/frontier-math，每個項目是一個帶 schema 版本的 JSON 文件。寫入採用同目錄臨時文件加原子替換；Web API 只讀。
• 自動檢索盲區：自動檢索有覆蓋盲區，不能替代 MathSciNet、zbMATH 或專業數據庫。
• 來源保留：來源分類由模型完成，必須保留原始鏈接和理由供人工檢查。
• 評分含義：評分僅供排序，價值判斷和數學等價性需專家介入。
• 證書生成：首版不直接執行 Lean 或其他驗證器，僅記錄外部運行形成的證書。
• 併發限制：JSON 存儲適合個人研究組合，不面向大型多用戶併發部署。

結尾¶

dsh-frontier-math 提供了一套嚴謹的流程框架，適合希望在 DSH 環境下進行結構化數學研究的開發者或研究者。更多細節與源碼，請參考其 GitHub 倉庫與技能目錄頁面。