概览
dsh-frontier-math
Evidence-gated frontier mathematics research workflow for DeepSeek Harness
README / ZH
插件文档
目录摘要
Evidence-gated frontier mathematics research workflow for DeepSeek Harness
dsh.pub 核对固定版本的组合包契约、运行时事实与分发语义；完整 README 请查看源仓库。
在 GitHub 阅读完整 READMELIMITATIONS
已知限制
- 自动检索有覆盖盲区，不能替代 MathSciNet、zbMATH、专业数据库或领域专家。 - 来源分类由模型完成，必须保留原始链接和理由供人检查。 - “价值”和数学等价性含专家判断，评分只用于排序。 - 首版不直接执行 Lean 或其他验证器；它记录外部运行形成的证书。 - JSON 存储适合个人研究组合，不面向大型多用户并发部署。