dsh-frontier-math:DeepSeek Harness 下的前沿數學研究工作流
`dsh-frontier-math` 是 DeepSeek Harness (DSH) 的前沿數學研究插件,核心理念是建立嚴謹結構化流程以提升研究質量而非承諾自動求解。插件提供項目立項、文獻審計、猜想記錄及證書生成四大核心工具,強制要求問題具備高開放度與清晰度,並通過多源檢索、依賴圖維護和獨立驗證確保產出可靠。文章詳細介紹了其安裝配置、典型工作流(含評分、審計、驗證)及適用場景,強調數據存儲的併發限制與自動檢索的盲區,適合開發者或研究者使用。
閱讀全文