dsh-frontier-math

在数学研究中，最昂贵的浪费不是证明失败，而是花几个月去“解决”一个三年前就已有完整证明或反例的问题。dsh-frontier-math 正是针对这个痛点设计的工具链：它不承诺自动解决任意开放问题，而是通过选题硬门槛、五类已有工作审计、声明依赖图和独立验证证书，把“先查再做、做完再验”的流程固化下来，从而提高产出真正新颖且可复核结果的概率。

核心能力围绕四个 DSH 工具展开。frontier_math_project 对选题进行多维评分（开放状态证据、陈述清晰度、验证路径、已有工作风险），任何一项不达标即阻断项目；frontier_math_prior_art 要求至少两个独立域名、两个来源类别和一个权威来源，并强制保存定理号与页码级摘录，防止仅凭搜索摘要就下结论；frontier_math_claim 维护无环依赖图，上游依赖未验证时结论无法标为已验证；frontier_math_certificate 记录 Lean 形式化、精确计算、SAT/SMT 等外部验证结果，首版只记录不执行。成果提交前还会强制触发第二次新颖性复核，确保没有遗漏新的等价结果。

这个插件最适合使用 DeepSeek V4 Pro（推理档位 max）进行个人前沿数学研究的数学工作者或跨领域研究者。数据以带 schema 版本的 JSON 文件本地存储，适合个人研究组合管理，不面向大型多用户并发部署。如果你希望把“反例优先、实验不等于证明、任何陈述改动使旧证书失效”这些原则变成可执行的工作流，而不是写在笔记里的座右铭，dsh-frontier-math 是一个务实的选择。