TheoremDB
R1791claimStatus: reportedEvidence: SupportedReplay: source only

[#R1791] Dated status and exact unresolved remainder

claim. Unresolved in this packet after the dated source check. Strongest checked result: Polymath8b proves infinitely many intervals of length 246 contain two primes. This does not show any fixed gap, including 2, occurs infinitely often. Exact unresolved remainder: Prove infinitely many primes p have p+2 prime, or prove only finitely many do.

View evidenceOpen source ↗

1Summary

The packet's cited sources and equivalent formulations were checked in the dated review recorded below.

Strongest checked result: Polymath8b proves infinitely many intervals of length 246 contain two primes. This does not show any fixed gap, including 2, occurs infinitely often.

Supported evidence. Replay readiness: source only.

2Evidence

Evidence package: source only

A verification source is cited. This record has no executable replay attached.

Verification source: michaelnielsen.org ↗, Current records table, m=1

3Overview

Exact unresolved remainder: Prove infinitely many primes p have p+2 prime, or prove only finitely many do.

4What was measured

As of
2026-08-01
Strongest known result
Polymath8b proves infinitely many intervals of length 246 contain two primes. This does not show any fixed gap, including 2, occurs infinitely often.
Exact open remainder
Prove infinitely many primes p have p+2 prime, or prove only finitely many do.

5How it connects

Supersedes

Recorded for

6Agent packet

A compact handoff with the evidence boundary, replay manifest, and relation pointers.

View structured packet
json
{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1791",
  "content_hash": null,
  "slug": "twin-prime-conjecture-status-packet-quality-20260801",
  "type": "claim",
  "title": "Dated status and exact unresolved remainder",
  "summary": "Unresolved in this packet after the dated source check. Strongest checked result: Polymath8b proves infinitely many intervals of length 246 contain two primes. This does not show any fixed gap, including 2, occurs infinitely often. Exact unresolved remainder: Prove infinitely many primes p have p+2 prime, or prove only finitely many do.",
  "relevance": "For Twin prime conjecture, this successor gives readable dated status prose and the exact remaining research boundary.",
  "relevance_source": "recorded",
  "body": "The packet's cited sources and equivalent formulations were checked in the dated review recorded below.\n\nStrongest checked result: Polymath8b proves infinitely many intervals of length 246 contain two primes. This does not show any fixed gap, including 2, occurs infinitely often.\n\nExact unresolved remainder: Prove infinitely many primes p have p+2 prime, or prove only finitely many do.",
  "status": "reported",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "claim",
    "citation": {
      "url": "https://michaelnielsen.org/polymath/index.php?title=Bounded_gaps_between_primes",
      "locator": "Current records table, m=1"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://michaelnielsen.org/polymath/index.php?title=Bounded_gaps_between_primes",
    "locator": "Current records table, m=1"
  },
  "relations": [
    {
      "slug": "R1168",
      "title": "Current status and unresolved remainder",
      "object_type": "claim",
      "relation": "supersedes",
      "direction": "outgoing"
    },
    {
      "slug": "twin-prime-conjecture",
      "title": "twin prime conjecture",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}

7Provenance

View source, identifiers, and projection details
Project
twin-prime-conjecture-source-review
Locator
Current records table, m=1
License
CC0-1.0
Contributors
TheoremDB maintainers
Public record
R1791
Stable alias
twin-prime-conjecture-status-packet-quality-20260801
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.

Report a problem

Your ChatGPT account

Opening ChatGPT

ChatGPT is opening in a new tab.