dsh-frontier-math

In mathematical research, the most expensive waste is not a failed proof, but spending months trying to “solve” a problem that already has a complete proof or counterexample from years earlier. dsh-frontier-math is designed for exactly this pain point: it does not promise to auto-solve arbitrary open problems. Instead, it hard-codes the workflow of verify-first, prove-later, recheck-before-publishing through problem-scoring gates, five-way prior-art audits, acyclic claim dependency graphs, and independent verification certificates, thereby raising the probability of producing results that are genuinely novel and independently checkable.

The core capabilities are built around four DSH tools. frontier_math_project scores each problem across multiple dimensions (openness evidence, statement clarity, verification path, prior-work risk) and blocks the project outright if any hard threshold is missed. frontier_math_prior_art demands at least two independent domains, two source categories, and one authoritative reference, with mandatory theorem-level excerpts including page or entry identifiers, so that a search summary alone can never close a classification. frontier_math_claim maintains an acyclic dependency graph where conclusions cannot be marked verified until every upstream dependency is independently confirmed. frontier_math_certificate records external verification artifacts such as Lean formalizations, exact computations, and SAT/SMT model checks; the first release records these certificates rather than executing them. A mandatory second novelty recheck runs before any result is packaged for submission.

This plugin is best suited for individual researchers or cross-disciplinary mathematicians working with DeepSeek V4 Pro (reasoning at max) on frontier problems. Its data are stored as schema-versioned JSON files in local directories with atomic writes, making it ideal for a personal research portfolio rather than a large multi-user concurrent deployment. If you want to turn principles like counterexamples-first, computation-is-not-a-proof, and any-statement-change-invalidates-prior-certificates into an executable workflow instead of a motto in your notebook, dsh-frontier-math is a practical addition to your toolkit.