Pith Number

pith:24QDCHBN

pith:2026:24QDCHBNPDKNPUK3L7RMYCLCFJ

not attested not anchored not stored refs pending

QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems

Chenyang An, Jiayaun Zhang, Minghao Pan, Qihao Ye

A multi-agent AI system generates original and correct proofs for three open mathematical problems.

arxiv:2604.24021 v3 · 2026-04-27 · cs.AI · math.AP

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{24QDCHBNPDKNPUK3L7RMYCLCFJ}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

QED produces correct proofs for three problems, each verified by the contributing experts as original and nontrivial.

C2weakest assumption

The expert verification process reliably confirms that the generated proofs are both correct and genuinely original rather than containing subtle errors or relying on prior unpublished work.

C3one line summary

QED is a multi-agent system that produces correct, original proofs for three out of five open problems in applied analysis and PDEs, as confirmed by domain experts.

Cited by

1 paper in Pith

Return Probability for the Switch--Walk--Switch Lamplighter Walk on a Regular Tree

Receipt and verification

First computed	2026-05-25T02:02:15.732871Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

d720311c2d78d4d7d15b5fe2cc09622a64290dd6bc5b94389503e33da07ca4fa

Aliases

arxiv: 2604.24021 · arxiv_version: 2604.24021v3 · doi: 10.48550/arxiv.2604.24021 · pith_short_12: 24QDCHBNPDKN · pith_short_16: 24QDCHBNPDKNPUK3 · pith_short_8: 24QDCHBN

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/24QDCHBNPDKNPUK3L7RMYCLCFJ \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: d720311c2d78d4d7d15b5fe2cc09622a64290dd6bc5b94389503e33da07ca4fa

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "4fbc5bc873ca100008b863c6789cec87f00999eca6825e4553bf734b0601aee9",
    "cross_cats_sorted": [
      "math.AP"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2026-04-27T04:10:02Z",
    "title_canon_sha256": "ca3dc809568f581b0fed46bd386e4792530e3c0f61b0f7f27e4079fa05b5b1aa"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2604.24021",
    "kind": "arxiv",
    "version": 3
  }
}