前言¶

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 仓库与技能目录页面。