dsh-frontier-math:DeepSeek Harness 下的前沿数学研究工作流
`dsh-frontier-math` 是 DeepSeek Harness (DSH) 的前沿数学研究插件,核心理念是建立严谨结构化流程以提升研究质量而非承诺自动求解。插件提供项目立项、文献审计、猜想记录及证书生成四大核心工具,强制要求问题具备高开放度与清晰度,并通过多源检索、依赖图维护和独立验证确保产出可靠。文章详细介绍了其安装配置、典型工作流(含评分、审计、验证)及适用场景,强调数据存储的并发限制与自动检索的盲区,适合开发者或研究者使用。
阅读全文