Xpersona
agentCLAWHUBUnverified

Conjecture-Prover

猜想证明技能——将任意领域的猜想通过拆解→等价转化→归约→验证的全管线，转化为可验证的证明或精确归约为开放问题。覆盖数学、物理、CS、生物、经济、语言、历史等，5域29种任务×38种创新方法。触发词：猜想、证明、归约、conjecture-prover、meta-skill-system。

OpenClaw
View on ClawHubHomepage

Rank

62

Safety

84

Downloads

1.3k

Updated

Oct 10, 2026

Version

1.0.19

Source

CLAWHUB

About

What it does, and when to use it.

Capability contract not published. No trust telemetry is available yet. 1.3K downloads reported by the source. Last updated 10/10/2026.

Avoid when

  • Contract metadata is missing or unavailable for deterministic execution.

Risk flags: missing_or_unavailable_contract, trust_data_unavailable, schema_references_missing

Public facts

Every fact links back to the source it came from.

Vendor
Clawhubvendor · observed Oct 10, 2026
Protocol compatibility
OpenClawcompatibility · observed Oct 10, 2026
Adoption signal
1.3K downloadsadoption · observed Oct 10, 2026
Latest release
1.0.19release · observed Sep 22, 2026
Handshake status
UNKNOWNsecurity

Install and run

Setup complexity: low.

clawhub skill install s175zq13kt63ypfry5rgxh1pv18440m2:conjecture-prover
  1. Install using `clawhub skill install s175zq13kt63ypfry5rgxh1pv18440m2:conjecture-prover` in an isolated environment before connecting it to live workloads.
  2. No published capability contract is available yet, so validate auth and request/response behavior manually.
  3. Review the upstream CLAWHUB listing at https://clawhub.ai/wangjiaocheng/conjecture-prover before using production credentials.

Contract: missing

curl -s "https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/snapshot"

Documentation

CLAWHUB

155,362 characters of source documentation, loaded on request.

Extracted files

5 files captured from the source.

SKILL.md

---
name: conjecture-prover
author: 王教成 Wang Jiaocheng (波动几何)
description: 猜想证明技能——将任意领域的猜想通过拆解→等价转化→归约→验证的全管线，转化为可验证的证明或精确归约为开放问题。覆盖数学、物理、CS、生物、经济、语言、历史等，5域29种任务×38种创新方法。触发词：猜想、证明、归约、conjecture-prover、meta-skill-system。
---

# 猜想证明技能 (Conjecture Prover)

## 定位

本技能是一个**领域负载物技能**，提供任意领域猜想的系统化证明能力。通过标准化管线将猜想转化为可验证的证明或精确归约为开放问题。

**适用领域**：数学、物理学、计算机科学、生物学、经济学、语言学、历史学等——任何存在「基于有限证据推测为真但尚未严格证实」这类命题的领域。

**核心理念变革**：

1. **证明 ≠ 闭解**：将猜想精确归约为单一可验证的命题，其价值不亚于完全证明。
2. **直觉优先**：领域直觉（几何模型、物理类比、生物学隐喻）可以引导出精确的形式化推导，比纯技术路线更高效。
3. **数值/实验验证是校准点**：经验证据不是证明本身，但是证明方向正确性的关键校准锚点。
4. **诚实标注 > 虚假声称**：明确区分已证、已验证、待证，将开放问题清晰地留给后续工作。
5. **领域无关的方法论**：拆解→归约→验证→交付的管线适用于任何领域的猜想证明。

## 核心能力

### 猜想拆解能力

进行知识点原子化拆解和依赖关系梳理。将任意猜想拆解为原子概念和核心瓶颈：

- **原子化拆解**：分解为不可再分的最小概念单元，标注依赖关系链
- **断层识别**：对照 `references/conjecture-prover-catalog.md` D1 域任务，定位核心卡点
- **等价转化**：将原问题转化为更易攻击的等价命题（如 RH → |ξ|² 单调性；P vs NP → 电路复杂度下界）

### 证明生成能力

运用全部创新方法（38 种）：

- **M7-08 约束驱动**：归约为单一可验证命题——核心方法
- **M9-02 维度矩阵**：跨维度/跨领域结构映射（数学：三平面框架；物理：对称性→守恒量；CS：问题归约矩阵）
- **M6-05 基元重组**：桥接构造 + 等价转化 + 定理/理论组合
- **M8-03 方法迁移**：将其他领域的证明范式迁移到目标猜想

详见 `references/conjecture-prover-requirements.md` 创新方法完整映射。

### 严格化与验证能力

- **数值/实验验证**：覆盖性测试确认方向正确性
- **公式/逻辑匹配验证**：推导结果与独立计算/实验数据对比
- **安全性标注**：已证 vs 已验证 vs 待证 三层明确区分

### 论文/报告产出能力

产出完整的学术产物集合：

- 正式论文/报告：学术发表格式
- 精简证明：核心论证
- 通俗版：零基础可读
- 论证骨架：章→节→论点结构
- 推导过程：完整推演记录
- 验证脚本/实验数据：可复现的证据
- 多维复核：跨文件一致性检查

## 三层结构

```
第一层：任务清单 + 依赖拓扑   →  references/conjecture-prover-catalog.md
第二层：任务要求清单          →  references/conjecture-prover-requirements.md
第三层：范本清单            →  references/exemplars.md
```

## 使用规则

### 执行流程

1. **猜想接收**：接收用户提供的猜想陈述，形式化重述
2. **类型判定**：识别猜想所属领域（数学/物理/CS/生物/经济/历史等），确定该领域的验证标准
3. **拆解攻击**：原子化拆解 → 断层识别 → 38 种创新方法生成攻击向量
4. **路线选择**：从攻击向量中筛选最可行路线，结合数值验证校准方向
5. **归约或证明**：将猜想归约为更简单的等价问题，或在可行时完成证明
6. **诚实交付**：明确标注已完成和待完成部分，产出完整论文集合

### 核心纪律

1. **永远不声称已证未证之事**：数值证据 ≠ 解析证明，诚实标注每一步的状态
2. **几何直觉引导数学推导**：先找到直觉模型（碗、投票、桥），再转化为精确公式
3. **先验证再声称**：任何声称必须有数值或解析支撑
4. **远零点自动对 ≠ 全自动**：类分明确标注「自动」与「待控制」
5. **开放问题就是开放问题**：不粉饰、不隐瞒、不假装已解决
6. **安全边际（gap）必须显式计算**
7. **引用真实存在的文献**
8. **样本法模仿时不直接复制内容**，仅借鉴结构和风格

### 接口校验

生成新证明时必须通过 `references/conjecture-prover-requirements.md` 中定义的完整组件清单检查。

## 域概览

按使用流程组织，共5域29种任务：

| 域 | 任务数 | 全部任务 |
|----|--------|---------|
| D0 协调 | 4 | 猜想类型识别（含跨领域分类）、执行路径选择、结果整合、深化路由 |
| D1 拆解 | 5 | 猜想陈述解析、原子概念拆解、断层识别、工具评估、拆解验证 |
| D2 证明 | 9 | 创新方法矩阵、命题设计、管线编排、等价转化、桥接构造、死路排除、归约、验证校准、证明验证 |
| D3 验证 | 5 | 边界推导、验证扫描、模型/逻辑匹配、安全边际计算、严格性确认 |
| D4 论文 | 6 | 骨架生成、论文展开、引用管理、复核、打包、跨文件一致性同步 |

**域间逻辑流**：D0 → D1 → D2 ⇄ D3 → D4（D2↔D3 含迭代校准回路）

完整清单见 `references/conjecture-prover-catalog.md`。

## 执行框架

本技能按 D0→D1→D2→D3→D4 管线执行。

**统一执行流程**：收到猜想陈述 → 创新判定 → 领域校准 → 分解 → 管线编排与执行 → 整合交付。

核心管线模式：

```
D0 接收猜想
  ↓
D1 拆解（原子化 + 等价转换）
  ↓
D2 攻击（38种方法生成向量 + K-hat式桥接搜索 + 三平面框架构建）
  ↓ ←→
D3 校准（验证反馈 + 匹配确认）
  ↓
D4 交付（论文集合 + 状态表 + 开放问题标注）
```

## 案例与参考

### 数学猜想案例（RH 新路线）

`assets/` 和 `scripts/` 包含 RH 新路线的完整交付物：

| 文件 | 用途 |
|------|------|
| `RH_README.md` | 交付物总览 |
| `RH_POPULAR.md` | 通俗解读版

_meta.json

{
  "ownerId": "kn75v65h3zezxajen2xf64b2v1845d98",
  "slug": "conjecture-prover",
  "version": "1.0.19",
  "publishedAt": 1790073860984
}

references/conjecture-prover-catalog.md

## 任务清单与依赖拓扑

按使用流程组织的猜想证明任务清单，附任务间关系和元操作映射提示。

**域间逻辑流**：D0 → D1 → D2 → D3 → D4（D2⇄D3 含迭代校准回路）

---

### D0 任务域协调域

| ID | 任务类型 | 说明 | 依赖 | 元操作映射 |
|----|---------|------|------|-----------|
| D0-01 | 猜想类型识别 | 接收猜想陈述，判定所属领域（数学/物理/CS/生物/经济/历史等）及子领域，确定该领域的验证标准 | 无（入口） | S→C |
| D0-02 | 执行路径选择 | 基于猜想类型选择路线：归约型（压缩为等价问题）/构建型（从零造结构）/排他型（证伪候选路线） | D0-01 | C |
| D0-03 | 结果整合 | 各域输出汇总，生成状态表（✅已证/🟢已验证/🔴待证） | D0-02 | C→A |
| D0-04 | 深化路由 | 识别论证缺口，判定深化方向（数值不足→D3，逻辑缺口→D2，等价转化→D2-04） | D0-03 | C→I |

### D1 猜想拆解域

| ID | 任务类型 | 说明 | 依赖 | 元操作映射 |
|----|---------|------|------|-----------|
| D1-01 | 猜想陈述解析 | 原文→形式化重述→符号定义→边界条件；建立通俗直觉模型（桥、碗、平面） | 无（入口） | S→C |
| D1-02 | 原子概念拆解 | 分解为不可再分概念单元，标注依赖关系链和维度（一维/二维） | D1-01 | S→C |
| D1-03 | 断层识别 | 已知/未知对比，核心瓶颈提炼（≤5个），桥接断层检查，引用有效性审查 | D1-02 | C |
| D1-04 | 工具评估 | 可用定理/理论、缺失工具、可迁移工具、验证校准策略可行性评估 | D1-03 | C |
| D1-05 | 拆解验证 | 完整性检查（原子概念覆盖所有前提）/正确性检查（依赖链无循环）/覆盖度评分 | D1-04 | G |

### D2 证明生成域

| ID | 任务类型 | 说明 | 依赖 | 元操作映射 |
|----|---------|------|------|-----------|
| D2-01 | 创新方法矩阵 | 断层×38种创新方法→攻击向量矩阵 | D1-03 | C→A |
| D2-02 | 命题设计 | 中间命题定义、严格论证、依赖关系；标注「严格已证」或「经验已验证」 | D2-01 | C→A |
| D2-03 | 管线编排 | 命题依赖DAG→执行顺序→并行/串行标注→校准回路设计 | D2-02 | C→A |
| D2-04 | 等价转化 | 原猜想→等价命题→转化证明→可攻击性评估（如 RH→|ξ|²单调性，P vs NP→电路下界） | D1-05, D2-01 | C→A |
| D2-05 | 桥接构造 | 桥接结构+攻击向量+路线评估+**自动项/需控制项分类**（自动满足✅，需额外证明🔴） | D2-01, D2-04 | C→A |
| D2-06 | 死路排除 | 失败路径记录+严格证伪+避免后人重复 | D2-05 | C→A |
| D2-07 | 归约 | 将猜想压缩为最小可验证形态（如RH→|ξ|²单调性→导数求和公式→近零点不等式） | D2-05 | C→A |
| D2-08 | 验证校准 | 经验验证扫描确认方向正确性（非证明，是校准锚点） | D3-02 | S→C |
| D2-09 | 证明验证 | 全链路逐节点检查+三层标注（已证/已验证/待证） | D2-07, D3-03 | G |

### D3 严格化与验证域

| ID | 任务类型 | 说明 | 依赖 | 元操作映射 |
|----|---------|------|------|-----------|
| D3-01 | 边界推导 | 关键参数可行范围推导+推导过程记录 | D2-07 | C→A |
| D3-02 | 验证扫描 | 参数扫描+违反统计汇总 | D2-08 | S→C→A |
| D3-03 | 模型/逻辑匹配 | 推导结果与独立验证交叉对比+偏差量化分析 | D2-07, D3-02 | C→G |
| D3-04 | 安全边际计算 | 安全边际显式计算，必须>阈值；稳健性确认 | D3-01 | C→A |
| D3-05 | 严格性确认 | 三层分类清单（✅/🟢/🔴），逐项标注计算机辅助验证项 | D3-03, D3-04 | G |

### D4 论文产出域

| ID | 任务类型 | 说明 | 依赖 | 元操作映射 |
|----|---------|------|------|-----------|
| D4-01 | 骨架生成 | 章→节→论点结构+衍生方向+开放问题标注位置 | D2-09, D3-05 | C→A |
| D4-02 | 论文展开 | 摘要、关键词、各章节完整论证、开放问题章节 | D4-01 | A |
| D4-03 | 引用管理 | 引用收集+格式统一+编号确认（仅引用真实文献） | D4-02 | C→A |
| D4-04 | 复核 | 五维复核（连贯性/引用/比例/结构/深度）+ 格式规范 + 编码完整性 | D4-02, D4-03 | G |
| D4-05 | 打包 | 通俗版+正式论文+精简证明+验证脚本+骨架+复核+SVG图示 | D4-02, D4-04, D3-05 | A→O |
| D4-06 | 跨文件一致性同步 | 定理编号/引用编号/结论表述/术语/数值数据 五维对照矩阵 | D4-05 | G |

---

### 依赖拓扑摘要

以下为猜想证明任务的主要依赖链路：

#### 一、域内链路

**协调链路**: D0-01 → D0-02 → D0-03 → D0-04
**拆解链路**: D1-01 → D1-02 → D1-03 → D1-04 → D1-05
**证明链路**: D2-01 → D2-02 → D2-03（主线）/ D2-04 → D2-05 → D2-06 / D2-05 → D2-07 → D2-08 → D2-09
**验证链路**: D3-01/D3-02 → D3-03 → D3-04 → D3-05
**论文链路**: D4-01 → D4-02 → D4-03 → D4-04 → D4-05 → D4-06

#### 二、跨域协同链路

**完整处理链路**: D1-01 → D2-01 → D3-02 → D3-05 → D4-01 → D4-05
**归约型路线**: D1-03 → D2-04 → D2-07 → D3-03 → D3-05
**构建型路线**: D1-03 → D2-01 → D2-05 → D2-07 → D3-01 → D3-05
**排他型路线**:

references/conjecture-prover-requirements.md

# 猜想证明技能 — 任务要求清单

---

## D0 任务域协调域

### D0-01 猜想类型识别
- **必选组件**: 用户猜想原文、形式化重述、猜想分类结果（数学/物理/CS/生物/经济/语言/历史等，并进一步细分领域）
- **可选组件**: 猜想历史、等价陈述枚举
- **组装顺序**: 接收猜想 → 解析陈述 → 领域分类 → 子领域判定 → 输出分类报告
- **约束**: 分类基于客观领域特征；直觉优先于传统领域分类；跨领域猜想标注所有涉及领域
- **格式**: 分类报告（Markdown）

### D0-02 执行路径选择
- **必选组件**: 猜想分类、难度评估、执行路径方案（归约型/构建型/排他型）
- **可选组件**: 多条候选路径对比
- **组装顺序**: 分类确认 → 难度评估 → 路径方案设计
- **约束**: 归约型优先（将猜想压缩为更简单等价问题）；构建型次之；排他型（证伪候选路线）最后
- **格式**: 路径选择报告

### D0-03 结果整合
- **必选组件**: 各域输出汇总、状态表（✅已验证/✅已证/🔴待证）
- **组装顺序**: 结果收集 → 状态分类 → 整合报告
- **约束**: 已证/已验证/待证三层严格区分
- **格式**: 整合报告 + 状态表

### D0-04 深化路由
- **必选组件**: 论证缺口分析、深化方向、路由方案
- **组装顺序**: 缺口识别 → 方向判定 → 路由设计
- **约束**: 路由基于缺口类型（数值不足→D3深化，逻辑缺口→D2深化，等价转化→D2-04）
- **格式**: 深化路由报告

---

## D1 猜想拆解域

### D1-01 猜想陈述解析
- **必选组件**: 猜想原文、形式化重述、关键符号定义、边界条件
- **可选组件**: 猜想历史、等价陈述
- **组装顺序**: 原文确认 → 形式化 → 符号定义 → 边界标注
- **约束**: 形式化无损原意；使用通俗语言建立直觉模型（如几何类比、物理比喻、博弈场景等，根据领域选择）；直觉模型需能引导出精确的形式化推导
- **格式**: 形式化陈述文档

### D1-02 原子概念拆解
- **必选组件**: 原子概念表（#、概念名、通俗解释 + 形式化定义）、依赖关系链、结构分析（层次/粒度/维度）
- **可选组件**: 前置知识列表、通俗类比集合
- **组装顺序**: 分解 → 逐个定义 → 依赖标注 → 结构标注 → 链确认
- **约束**: 每个概念不可再分；标注结构不对称（如数学中素数一维 vs 零点二维；生物中基因型 vs 表型；经济中微观 vs 宏观）
- **格式**: 原子概念表（Markdown 表格）

### D1-03 断层识别
- **必选组件**: 已知结果列表、未知部分列表、核心瓶颈（≤5个）、**桥接断层检查**、**引用有效性审查**
- **可选组件**: 瓶颈优先级、已知尝试
- **组装顺序**: 已知枚举 → 未知定位 → 瓶颈提炼 → 桥接审查 → 引用审查 → 优先级排序
- **约束**: 断层必须可被精确命题描述；逐节点审查证明链每一步依赖的外部定理/证据
- **断层常见模式**:
  1. **定理/理论误用**: 将仅在特定条件成立的结论套用于更广范围
  2. **缺失中间环节**: 声称的推论缺少必要的中间步骤或过渡假设
  3. **假设滑移**: 隐含使用比声称更强的条件
  4. **等价转化断层**: 原猜想与等价命题之间的转化尚未严格证明
  5. **验证方法断层**: 可用验证方法无法覆盖猜想关键维度
  6. **自动/需控制分类遗漏**: 未区分「自动满足」和「需额外证明」的条件
- **格式**: 断层分析表（Markdown 表格）

#### 待证明猜想目录

> 共收录 **66** 个跨领域重要猜想（CS1=P vs NP 同 MP1，计入千禧年，不计重复）。（含已证明和独立于公理体系的条目）。
> **排序逻辑**：按验证范式分组——第一组：严格证明型（演绎推理为主，数学+CS）；第二组：实验验证型（可控实验，物理+生物）；第三组：统计/观察型（自然实验+计量，经济+语言+历史）。千禧年大奖难题独立在最前作为跨领域权威基准。每组内按证明依赖拓扑排序。
> **RH 条目已根据新路线更新状态**。

##### 千禧年大奖难题（跨领域权威基准）

| ID | 猜想 | 领域 | 状态 | 已知进展 |
|----|------|------|------|---------|
| MP1 | P vs NP | 理论计算机科学 | 未解决 | 可能独立于ZFC |
| MP2 | Hodge猜想 | 代数几何 | 未解决 | 某些特殊情形已证 |
| MP3 | Poincaré猜想 | 拓扑学 | ✅已解 (Perelman 2003) | — |
| MP4 | Riemann猜想 | 解析数论 | 🔴 开放（本技能提供新路线） | 三平面几何框架+单调性路线，近零点不等式待攻克 |
| MP5 | Yang-Mills质量间隙 | 量子场论 | 未解决 | 格点规范理论有进展 |
| MP6 | Navier-Stokes光滑性 | 偏微分方程 | 未解决 | 弱解存在，光滑性未知 |
| MP7 | BSD猜想 | 算术几何 | 未解决 | 秩≤1已证 |

---

## 第一组：严格证明型（演绎推理为主）

### 数学·数论

| ID | 猜想 | 难度 | 解锁 | 简述 |
|----|------|------|------|------|
| NT1 | Elliott-Halberstam猜想 | ★★★★★ | 孪生素数间隙上界 | 素数等差数列分布上界 |
| NT2 | ABC猜想 | ★★★★★ | Fermat大定理(平凡) | 望月证明争议中 |
| NT3 | Bunyakovsky猜想 | ★★★★★ | Schinzel假设H | 整系数多项式无穷多素数值 |
| NT4 | Schinzel假设H | ★★★★★ | 孪生素数(特例) | 广义孪生素数 |
| NT5 | Artin原根猜想 | ★★★★ | 条件依赖于GRH/RH | a是无穷多素数原根 |
| NT6 | Goldbach猜想 | ★★★★★ | 依赖RH改进圆法 | 偶数=素数+素数 |
| NT7 | 孪生素数猜想 | ★★★★★ | ←EH或Schinzel H | 无穷多对(p, p+2) |
| NT8 | Legendre猜想 | ★★★★ | 依赖素数间隙上界 | n²和(n+1)²间必有素数 |
| NT9 | Collatz猜想 | ★★★★★ | 孤立 | 3n+1必入4-2-1循环 |
| NT10 | 完美长方体 | ★★★ | 孤立丢番图问题 | 欧拉砖+面对角线均为整数 |

### 数学·代数学

| ID | 猜想 | 难度 | 简述 |

references/exemplars.md

# 猜想证明技能 — 范本清单

## 概述

本技能的范本为 RH 新路线证明案例（数学领域），存放在 `assets/` 和 `scripts/` 中。
每个范本展示了标准证明管线的一个环节。**核心教训——数值验证≠证明、三层分类（已证/已验证/待证）、诚实标注——贯穿全部范本，适用于任何领域。**
非数学领域的猜想可参照同等管线，将数值验证替换为实验观察/统计检验/考古证据等该领域的验证方式。

## 范本索引

| 范本文件 | 对应任务域 | 展示内容 |
|---------|-----------|---------|
| `assets/RH_README.md` | D0-D4 | 交付物总览：文件清单、阅读路径、状态表 |
| `assets/RH_POPULAR.md` | D4-02 | 通俗版：三张平面一张碗，四个故事 |
| `assets/RH_PROOF.md` | D2-04, D2-07 | 精简证明：定义→定理→导数公式→归约 |
| `assets/RH_PAPER.md` | D2, D3, D4 | 正式论文：7节，导数求和公式+归约框架 |
| `assets/RH_ARGUMENT_SKELETON.md` | D4-01 | 论证骨架：7章+衍生研究方向 |
| `assets/RH_PROOF_PROCESS.md` | D0-D4 | 完整过程记录 |
| `assets/RH_AUTO_REVIEW.md` | D4-04, D4-06 | 五维复核+跨文件一致性检查 |
| `assets/rh_three_planes.svg` | D4-05 | 三平面相交框架图 |
| `assets/rh_bowl_section.svg` | D4-05 | |ξ|² 碗截面图，最小值在σ=0.5 |
| `assets/rh_voting_diagram.svg` | D4-05 | 远/近零点投票示意图 |
| `scripts/rh_proof_verify.py` | D3-02, D3-03, D3-05 | 验证脚本（凸性+导数+零点+公式匹配） |

## 范本使用方式

1. **完整流程参考**：先读 `RH_POPULAR.md` 建立直觉 → 再读 `RH_PROOF.md` 看精确推导
2. **证明结构参考**：参考 `RH_PAPER.md` 的定理→公式→归约结构
3. **归约模式参考**：参考 `RH_PROOF.md` §4 的「压缩到单一不等式」归约技术
4. **验证框架参考**：参考 `rh_proof_verify.py` 的四项独立验证+三层标注
5. **过程参考**：参考 `RH_PROOF_PROCESS.md` 推演逻辑

## 归约框架（可复用模式）

从 RH 新路线中提取的通用方法论：

```
Step 1 — 几何直觉: 建立通俗模型（三平面、碗、桥）
Step 2 — 升维统一: 将一维对象升维到与其他对象同维度
Step 3 — 桥接构造: 寻找能同时连接两边的第三结构（如K-hat）
Step 4 — 公式推导: 从基本结构（如Hadamard乘积）导出精确关系
Step 5 — 自动项/需控制项分类: 将命题分解后区分「自动成立」和「需控制」两类
Step 6 — 归约压缩: 将原问题压缩为单一不等式
Step 7 — 验证校准: 经验验证方向正确性（非证明，是校准）
Step 8 — 三层交付: 已证/已验证/待证三层标注，诚实输出
```

适用场景：任何需要跨越维度鸿沟（数学中的有限→无限、低维→高维；物理中的微观→宏观；生物中的基因型→表型；经济中的微观→宏观），或需要将复杂猜想压缩为单一可验证命题的跨领域问题。

## 范本质检标准

每个范本必须满足：
- 可独立阅读和使用
- 标注所属的任务域和任务ID
- 包含可用于新猜想证明的可复用模板
- **诚实标注：所有未完成部分必须有明确标记**

## D1 范本 — 猜想拆解示例

以 RH 新路线为例：

**原子概念表**:
| # | 概念 | 通俗解释 | 数学定义 |
|---|------|---------|---------|
| ① | ζ 函数 | 用素数造的机器 | ζ(s) = Σ n^{-s}, Re(s)>1 |
| ② | 零点 | 让机器输出为零的输入 | ζ(ρ) = 0 |
| ③ | Euler 乘积 | 用素数造ζ的方式 | ζ(s) = Π (1-p^{-s})^{-1} |
| ④ | Hadamard 分解 | 用零点造ζ的方式 | ξ(s) = ξ(0) e^{Bs} Π(1-s/ρ)e^{s/ρ} |
| ⑤ | |ξ|² | 机器的"高度" | |ξ(σ+iγ)|² |
| ⑥ | 单调性 | 碗左边降右边升 | h_γ'(σ) 与 σ-1/2 同号 |
| ⑦ | 近/远分类 | 远零点自动对，近零点需控制 | |a| ≫ / ≲ |σ-1/2| |

**结构分析**:
| 对象 | 维度 | 说明 |
|------|------|------|
| 素数 | 1D | 数轴上的点 |
| 零点 | 2D | 平面上的点 (横, 竖) |
| K-hat | 2D | 曲面 K-hat(σ,γ) |
| |ξ|² | 1D 截面 | 固定γ后的 σ 函数 |

## D2 范本 — 证明管线示例

管线：

```
Hadamard 乘积 + 函数方程对称性
  ↓
|ξ(σ+iγ)|² 关于 σ 对称, h_γ'(1/2)=0
  ↓ D2-04 等价转化
RH ⇔ h_γ'(σ) 与 (σ-1/2) 同号对所有γ
  ↓ D2-07 归约
导数求和公式: h_γ'/h_γ = Σ_ρ 2[(d-dρ)/((d-dρ)²+a²) - (-dρ)/(dρ²+a²)]
  ↓ D2-05 自动项/需控制项分类
远零点项: 每项自动同号 ✓
近零点项: 单项可能反号, 需全局控制
  ↓ D2-07 归约压缩
|Σ 近零点项| < |Σ 远零点项|  ⇔ RH
  ↓ D2-08 验证校准
1225点网格扫描: 单调性零违反 ← 方向正确
  ↓ D4 交付
论文集合 + 状态表 (远零点✅, 近零点🔴)
```

## D3 范本 — 验证示例

验证结构：

```
验证1: |ξ|² 凸性 (d²/dσ² > 0)
  500点扫描, 零违反 → 凸性: 全部通过 ✅

验证2: 导数符号正确
  108点扫描, σ<0.5全负, σ>0.5全正 → 符号: 全部正确 ✅

验证3: 零点极小在 σ=0.5
  8个已知零点, 极小全在 σ=0.5 → 位置: 全部一致 ✅

验证4: 导数求和公式匹配
  公式 vs 数值差分, 误差 < 0.01% → 匹配: 通过 ✅

三层分类:
  已证: 函数方程对称性, Ha

Related agents

Same protocol, similar job.

Github ReposUpdated 1d agoRank 70

AionUi

Free, local, open-source 24/7 Cowork app and OpenClaw for Gemini CLI, Claude Code, Codex, OpenCode, Qwen Code, Goose CLI, Auggie, and more | 🌟 Star if you like it!

MCPOPENCLAW
Github ReposUpdated 6mo agoRank 70

activepieces

AI Agents & MCPs & AI Workflow Automation • (~400 MCP servers for AI agents) • AI Automation / AI Agent with MCPs • AI Workflows & AI Agents • MCPs for AI Agents

OPENCLAW
Github ReposUpdated 6mo agoRank 70

cherry-studio

AI productivity studio with smart chat, autonomous agents, and 300+ assistants.

MCPOPENCLAW
Github ReposUpdated 7mo agoRank 70

CopilotKit

The Frontend for Agents & Generative UI. React + Angular

OPENCLAW

Machine-readable data

The same record, as JSON, for agents and crawlers.

{
  "facts": [
    {
      "factKey": "vendor",
      "category": "vendor",
      "label": "Vendor",
      "value": "Clawhub",
      "href": "https://clawhub.ai/wangjiaocheng/skills/conjecture-prover",
      "sourceUrl": "https://clawhub.ai/wangjiaocheng/skills/conjecture-prover",
      "sourceType": "profile",
      "confidence": "medium",
      "observedAt": "2026-10-10T19:09:56.802Z",
      "isPublic": true
    },
    {
      "factKey": "protocols",
      "category": "compatibility",
      "label": "Protocol compatibility",
      "value": "OpenClaw",
      "href": "https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/contract",
      "sourceUrl": "https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/contract",
      "sourceType": "contract",
      "confidence": "medium",
      "observedAt": "2026-10-10T19:09:56.802Z",
      "isPublic": true
    },
    {
      "factKey": "traction",
      "category": "adoption",
      "label": "Adoption signal",
      "value": "1.3K downloads",
      "href": "https://clawhub.ai/wangjiaocheng/conjecture-prover",
      "sourceUrl": "https://clawhub.ai/wangjiaocheng/conjecture-prover",
      "sourceType": "profile",
      "confidence": "medium",
      "observedAt": "2026-10-10T19:09:56.802Z",
      "isPublic": true
    },
    {
      "factKey": "latest_release",
      "category": "release",
      "label": "Latest release",
      "value": "1.0.19",
      "href": "https://clawhub.ai/wangjiaocheng/conjecture-prover",
      "sourceUrl": "https://clawhub.ai/wangjiaocheng/conjecture-prover",
      "sourceType": "release",
      "confidence": "medium",
      "observedAt": "2026-09-22T10:44:20.984Z",
      "isPublic": true
    },
    {
      "factKey": "handshake_status",
      "category": "security",
      "label": "Handshake status",
      "value": "UNKNOWN",
      "href": "https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/trust",
      "sourceUrl": "https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/trust",
      "sourceType": "trust",
      "confidence": "medium",
      "observedAt": null,
      "isPublic": true
    }
  ],
  "events": [
    {
      "eventType": "release",
      "title": "Release 1.0.19",
      "description": "No user-visible changes in this version; the SKILL.md file remains unchanged.",
      "href": "https://clawhub.ai/wangjiaocheng/conjecture-prover",
      "sourceUrl": "https://clawhub.ai/wangjiaocheng/conjecture-prover",
      "sourceType": "release",
      "confidence": "medium",
      "observedAt": "2026-09-22T10:44:20.984Z",
      "isPublic": true
    }
  ]
}

Record generated Oct 10, 2026.

Sponsored

Ads related to Conjecture-Prover and adjacent AI workflows.