{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1408",
  "content_hash": null,
  "slug": "bpp-equals-p-attempt-dated-source-audit",
  "type": "attempt",
  "title": "Dated source and duplicate audit",
  "summary": "The exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: BPP has deterministic subexponential simulations under weaker hypotheses, and standard hardness assumptions imply BPP=P. Unresolved remainder: Unconditional polynomial-time derandomization remains open.",
  "relevance": "Documents why Is randomized polynomial time equal to deterministic polynomial time? was treated as a distinct open target on 2026-08-01.",
  "relevance_source": "recorded",
  "body": "The audit ran on 2026-08-01 across the cited primary literature and problem collections, Crossref, arXiv, and stable publisher records, TheoremDB published, prospecting, packet, formal, and retired corpus. It checked the exact statement, its named or normalized variants, recent status evidence, and the controlled TheoremDB corpus.\n\nQueries included:\n- BPP equals P open problem current derandomization\n- unconditional BPP P 2026\n\nThe exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: BPP has deterministic subexponential simulations under weaker hypotheses, and standard hardness assumptions imply BPP=P. Unresolved remainder: Unconditional polynomial-time derandomization remains open.",
  "status": "completed",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://doi.org/10.1145/258533.258590",
      "locator": "R. Impagliazzo and A. Wigderson, P=BPP if E requires exponential circuits, STOC 1997. main theorem"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://doi.org/10.1145/258533.258590",
    "locator": "R. Impagliazzo and A. Wigderson, P=BPP if E requires exponential circuits, STOC 1997. main theorem"
  },
  "models": [],
  "relations": [
    {
      "slug": "R1411",
      "title": "Current status and exact unresolved remainder",
      "object_type": "claim",
      "relation": "evidences",
      "direction": "outgoing"
    },
    {
      "slug": "bpp-equals-p",
      "title": "bpp equals p",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}