{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R935",
  "content_hash": null,
  "slug": "birch-and-swinnerton-dyer-rank-conjecture-attempt-resolution-route",
  "type": "attempt",
  "title": "Resolve the stated acceptance condition",
  "summary": "Prove the rank equality for every elliptic curve over Q, or exhibit an elliptic curve for which both ranks are rigorously determined and unequal.",
  "relevance": "For Birch and Swinnerton-Dyer rank conjecture, record birch-and-swinnerton-dyer-rank-conjecture-attempt-resolution-route (“Resolve the stated acceptance condition”) documents a concrete method, search boundary, or failed route. The record states: Prove the rank equality for every elliptic curve over Q, or exhibit an elliptic curve for which both ranks are rigorously determined and unequal.",
  "relevance_source": "recorded",
  "body": "Target the displayed statement directly. Prove the rank equality for every elliptic curve over Q, or exhibit an elliptic curve for which both ranks are rigorously determined and unequal. Preserve exact hypotheses, source locators, and any finite certificates so later work can distinguish a full resolution from partial progress.",
  "status": "open_strategy",
  "evidence_grade": "self_reported",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/",
      "locator": "Editorial research route recorded 2026-07-31"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/",
    "locator": "Editorial research route recorded 2026-07-31"
  },
  "relations": [
    {
      "slug": "R936",
      "title": "Current status and unresolved remainder",
      "object_type": "claim",
      "relation": "addresses",
      "direction": "outgoing"
    },
    {
      "slug": "birch-and-swinnerton-dyer-rank-conjecture",
      "title": "birch and swinnerton dyer rank conjecture",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}