Pith Number

pith:7JHRYNSX

pith:2025:7JHRYNSXURSNZASS4HYWZZAJP4

not attested not anchored not stored refs pending

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Allan Jie, Chenggang Li, Cheng Ren, Chenrui Wei, Chi Zhang, Fan Yang, Ge Zhang, He Sun, Hongyi Yuan, Huaiyuan Ying, Huajian Xin, Jiahui Wang, Jianqiu Zhao, Jiawei Shen, Jinming Gu, Kaijing Ma, Liankai Huang, Luoxin Chen, Shufa Wei, Siran Wang, Thomas Hanwen Zhu, Tianyang Zhan, Tianyun Zhao, Tong Sun, Wenhao Huang, Wenlei Shi, Xiaoran Jin, Xing Jin, Yichi Zhou, Yihang Xia, Yonghui Wu, Yuchen Wu, Yue Zhang, Zheng Yuan, Zhicheng Jiang, Zhihong Wang

arxiv:2507.23726 v2 · 2025-07-31 · cs.AI · cs.CL

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{7JHRYNSXURSNZASS4HYWZZAJP4}

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.

Cited by

26 papers in Pith

Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language

AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities

Statistical Proof as a Window into Human-AI Collaboration: Practical Insights and a Community Agenda

Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics

Receipt and verification

First computed	2026-07-05T11:46:47.332467Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

fa4f1c3657a464dc8252e1f16ce4097f18c657c65baa51ed36fe973dedc009c8

Aliases

arxiv: 2507.23726 · arxiv_version: 2507.23726v2 · doi: 10.48550/arxiv.2507.23726 · pith_short_12: 7JHRYNSXURSN · pith_short_16: 7JHRYNSXURSNZASS · pith_short_8: 7JHRYNSX

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/7JHRYNSXURSNZASS4HYWZZAJP4 \
  | 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: fa4f1c3657a464dc8252e1f16ce4097f18c657c65baa51ed36fe973dedc009c8

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "16a7db05d4b9e5aedc2c7f398fc0474bbf64c0f117711e841208d12f25120672",
    "cross_cats_sorted": [
      "cs.CL"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2025-07-31T17:00:30Z",
    "title_canon_sha256": "ba02dcfdb86e31033a1b60fb1753e58216e52d9c71e078f7a63793c98f3dca87"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2507.23726",
    "kind": "arxiv",
    "version": 2
  }
}