{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1064",
  "content_hash": null,
  "slug": "four-exponentials-conjecture-claim-status-20260731",
  "type": "claim",
  "title": "Current status and unresolved remainder",
  "summary": "The cited survey chapter identifies the four exponentials problem as open in the complex case. 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 the transcendence conclusion for every pair of rationally independent pairs, or give qualifying pairs for which all four exponentials are algebraic.",
  "relevance": "Defines the dated frontier and the exact remainder that research on this problem must resolve.",
  "relevance_source": "recorded",
  "body": "The cited survey chapter identifies the four exponentials problem as open in the complex case. 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 the transcendence conclusion for every pair of rationally independent pairs, or give qualifying pairs for which all four exponentials are algebraic.",
  "status": "reported",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "claim",
    "citation": {
      "url": "https://doi.org/10.1007/978-3-031-12244-6_39",
      "locator": "See dataset.references[0] for the exact external source and locator."
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://doi.org/10.1007/978-3-031-12244-6_39",
    "locator": "See dataset.references[0] for the exact external source and locator."
  },
  "models": [],
  "relations": [
    {
      "slug": "R1063",
      "title": "Resolve the stated acceptance condition",
      "object_type": "attempt",
      "relation": "addresses",
      "direction": "incoming"
    },
    {
      "slug": "R1550",
      "title": "Dated status and exact unresolved remainder",
      "object_type": "claim",
      "relation": "supersedes",
      "direction": "incoming"
    },
    {
      "slug": "four-exponentials-conjecture",
      "title": "four exponentials conjecture",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}