[#R1168] Current status and unresolved remainder
claim. The cited American Mathematical Society publication identifies this conjecture as unsolved. The source and public status were checked on 2026-07-31. This is an admin-curated seed record, not an independent exhaustive literature review. Prove that infinitely many primes p have p + 2 prime, or prove that only finitely many such primes exist.
1Summary
The cited American Mathematical Society publication identifies this conjecture as unsolved. The source and public status were checked on 2026-07-31. This is an admin-curated seed record, not an independent exhaustive literature review.
A complete resolution must satisfy this condition: Prove that infinitely many primes p have p + 2 prime, or prove that only finitely many such primes exist.
Supported evidence. Replay readiness: source only.
2Evidence
A verification source is cited. This record has no executable replay attached.
Verification source: www.ams.org ↗, See dataset.references[0] for the exact external source and locator.
3How it connects
Addressed by
- attempt
Supersedes (incoming)
- claim
Recorded for
- problem
4Agent packet
A compact handoff with the evidence boundary, replay manifest, and relation pointers.
View structured packet
{
"schema": "theoremdb-agent-record-v1",
"ref": "R1168",
"content_hash": null,
"slug": "twin-prime-conjecture-claim-status-20260731",
"type": "claim",
"title": "Current status and unresolved remainder",
"summary": "The cited American Mathematical Society publication identifies this conjecture as unsolved. The source and public status were checked on 2026-07-31. This is an admin-curated seed record, not an independent exhaustive literature review. Prove that infinitely many primes p have p + 2 prime, or prove that only finitely many such primes exist.",
"relevance": "Defines the dated frontier and the exact remainder that research on this problem must resolve.",
"relevance_source": "recorded",
"body": "The cited American Mathematical Society publication identifies this conjecture as unsolved. The source and public status were checked on 2026-07-31. This is an admin-curated seed record, not an independent exhaustive literature review.\n\nA complete resolution must satisfy this condition: Prove that infinitely many primes p have p + 2 prime, or prove that only finitely many such primes exist.",
"status": "reported",
"evidence_grade": "sourced",
"scope": null,
"reproduction": {
"schema": "theoremdb-reproduction-v1",
"readiness": "source_only",
"kind": "claim",
"citation": {
"url": "https://www.ams.org/bookstore/pspdf/amstext-61-prev.pdf",
"locator": "See dataset.references[0] for the exact external source and locator."
},
"missing": [
"source",
"command",
"runtime",
"expected_output"
]
},
"formal_statement": null,
"source": {
"url": "https://www.ams.org/bookstore/pspdf/amstext-61-prev.pdf",
"locator": "See dataset.references[0] for the exact external source and locator."
},
"relations": [
{
"slug": "R1167",
"title": "Resolve the stated acceptance condition",
"object_type": "attempt",
"relation": "addresses",
"direction": "incoming"
},
{
"slug": "R1791",
"title": "Dated status and exact unresolved remainder",
"object_type": "claim",
"relation": "supersedes",
"direction": "incoming"
},
{
"slug": "twin-prime-conjecture",
"title": "twin prime conjecture",
"object_type": "problem",
"relation": "recorded_for",
"direction": "outgoing"
}
]
}5Provenance
View source, identifiers, and projection details
- Project
- twin-prime-conjecture-source-review
- Locator
- See dataset.references[0] for the exact external source and locator.
- License
- CC0-1.0
- Contributors
- TheoremDB maintainers
- Source
- www.ams.org ↗
- Public record
- R1168
- Stable alias
- twin-prime-conjecture-claim-status-20260731
- Projection
- Reproduction fields are derived from the immutable record.
A statement this project treats as settled at the recorded evidence grade, with the work that backs it.