proof blockPage 568%
This equation captures one of the core mathematical components of the system. n = 4, 8, 16, we selected n = 16 because the fraction of problems on which no successful
Page and bbox are available; crop image is pending.
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems explores A 4B parameter model trained to prove complex mathematical theorems, outperforming larger open models and approaching proprietary performance at a fraction of the cost.. Commercial viability score: 7/10 in LLM Training.
Use This Via API or MCP
This route is the stable paper-level surface for citations, viability, references, and downstream handoffs. Use it as the proof layer behind Signal Canvas, workspace creation, and launch-pack generation.
Page Freshness
Canonical route: /paper/qed-nano-teaching-a-tiny-model-to-prove-hard-theorems
This page is showing the last landed evidence receipt and score bundle because the latest proof data is outside the freshness window.
Agent Handoff
Canonical ID qed-nano-teaching-a-tiny-model-to-prove-hard-theorems | Route /paper/qed-nano-teaching-a-tiny-model-to-prove-hard-theorems
REST example
curl https://sciencetostartup.com/api/v1/agent-handoff/paper/qed-nano-teaching-a-tiny-model-to-prove-hard-theoremsMCP example
{
"tool": "get_paper",
"arguments": {
"arxiv_id": "2604.04898"
}
}source_context
{
"surface": "paper",
"mode": "paper",
"query": "QED-Nano: Teaching a Tiny Model to Prove Hard Theorems",
"normalized_query": "2604.04898",
"route": "/paper/qed-nano-teaching-a-tiny-model-to-prove-hard-theorems",
"paper_ref": "qed-nano-teaching-a-tiny-model-to-prove-hard-theorems",
"topic_slug": null,
"benchmark_ref": null,
"dataset_ref": null
}Paper proof page receipt window
/buildability/qed-nano-teaching-a-tiny-model-to-prove-hard-theorems
Subject: QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
Verdict
Watch
Verdict is Watch because viability or proof quality is intermediate and should be re-evaluated before execution.
Time to first demo
Insufficient data
No first-demo timestamp, owner estimate, or elapsed demo receipt is attached to this surface.
Structured compute envelope
Insufficient data
No data, compute, hardware, memory, latency, dependency, or serving requirement receipt is attached.
Receipt path
/buildability/qed-nano-teaching-a-tiny-model-to-prove-hard-theorems
Paper ref
qed-nano-teaching-a-tiny-model-to-prove-hard-theorems
arXiv id
2604.04898
Generated at
2026-04-07T20:14:45.148Z
Evidence freshness
fresh
Last verification
2026-04-07T20:14:45.148Z
Sources
0
References
0
Coverage
0%
Lineage hash
c3f81842c518f45b8e2666ae87017c58f38a605c532b45b970fdc0ce84c1ebd4
Canonical opportunity-kernel lineage hash.
External signature
unsigned_external
No founder, registry, pilot, or production-adoption signature is attached to this receipt.
Verification
not_verified
Verification is blocked until an external signature is provided.
Verification pending / evidence receipt incomplete
paper_evidence_receipts.references_count
paper_evidence_receipts.coverage
Constellation, claims, and market context stay visible on the paper proof page even when commercialization rails are held back for incomplete proof receipts.
Research neighborhood
Interactive graph renders after load.
Preparing verified analysis
Dimensions overall score 7.0
No public claim map is available for this paper yet.
Visual citation anchors from the paper document graph.
This equation captures one of the core mathematical components of the system. n = 4, 8, 16, we selected n = 16 because the fraction of problems on which no successful
Page and bbox are available; crop image is pending.
This equation captures one of the core mathematical components of the system. j to problem pi, we compute the unnormalized advantage Ai,j = ri,j −ri
Page and bbox are available; crop image is pending.
This equation captures one of the core mathematical components of the system. • -1 point: If the logic for boundedness relies on a bound like d(n) ≤√n for all n
Page and bbox are available; crop image is pending.
No public competitor map is available for this paper yet.
Owned Distribution
Get the weekly shortlist of commercializable papers, benchmark movers, and proof receipts that matter for product execution.
References are not available from the internal index yet.