{"payload":{"schema_version":"research-record-v0","publication":{"version":1,"sha256":"578efe0a22807823a8204bda7a40372e1bd81e5d8f335fb66bb389a6c5ce2ae9","published_at":"2026-09-30T20:13:42.245338+00:00","reason":"Initial checked pilot publication; source attribution, rights, wording and coverage reviewed by OpenMath staff.","withdrawn":false,"draft":{"schema_version":"research-record-v0","problem":{"problem_id":"problem-birch-and-swinnerton-dyer-conjecture","slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","question":"For an elliptic curve over the rational numbers, does the rank of its rational points equal the order of vanishing of its L-function at s = 1?","scope":"The rank part of the conjecture. The full leading-coefficient formula is additional; this pilot does not reproduce it.","aliases":["Birch and Swinnerton-Dyer conjecture"],"fields":["Number theory","Algebraic geometry"],"msc":["11G05","11G40"],"topics":[],"background":"specialist","scale":"major conjecture","depth":"source-linked","source_entry_ids":["birch-and-swinnerton-dyer-conjecture:entry:0:v1"],"status_report_ids":["birch-and-swinnerton-dyer-conjecture:report:0:v1"],"editorial":null,"literature":[{"title":"Clay problem page and official description","url":"https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/","note":"Source state checked on 1 October 2026. The page does not provide a status-update date; current literature has not been independently reviewed."}],"formalizations":[],"related":[],"tasks":[],"insights":[],"coverage_gaps":["No exhaustive literature or source-list coverage.","Independent mathematical assessment has not been performed."],"checked_on":"2026-10-01"},"sources":[{"id":"clay-millennium@observed-2026-10-01","source_id":"clay-millennium","title":"Clay · Millennium Problems","owner":"Clay Mathematics Institute","url":"https://www.claymath.org/millennium-problems/","subject_scope":"Seven Millennium Prize Problems; five selected here","revision":"observed-2026-10-01","content_sha256":null,"update_method":"Manual checked import; new observations require staff preview and publication","identifier_policy":"Canonical source URL plus explicit item/declaration locator; no fuzzy identity merge","observed_on":"2026-10-01","source_updated_on":null,"rights":"metadata-link","license":"Not established; links and OpenMath paraphrases only","terms_url":"https://www.claymath.org/millennium-problems/","attribution":"Clay Mathematics Institute","rights_note":"Store metadata and original OpenMath paraphrases; follow the original source for authoritative wording.","check_interval_days":30}],"entries":[{"id":"birch-and-swinnerton-dyer-conjecture:entry:0:v1","source_version_id":"clay-millennium@observed-2026-10-01","item_id":"https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/","url":"https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/","wording":"For an elliptic curve over the rational numbers, does the rank of its rational points equal the order of vanishing of its L-function at s = 1?","wording_kind":"paraphrase","locator":"https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/","supersedes":null}],"reports":[{"id":"birch-and-swinnerton-dyer-conjecture:report:0:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:entry:0:v1","state":"reported_open","source_label":"Unsolved","scope":"The cited source item and version only; this is not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-01","evidence_url":"https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/","supersedes":null}]},"status":{"state":"open","label":"Open","extent":"unspecified","summary":"Resolution scope has not been assessed in this publication.","basis":"source","attributed_to":"Clay · Millennium Problems","as_of":"2026-10-01","progress_label":null,"progress_claim_ids":[],"remaining":null,"views":["open"]}},"data_mode":"published catalog snapshot; historical Phase 0 checks only","context_packs":[],"reference_fixture_checks":[],"repeat_instructions":"No verification task is attached to this discovery record."},"payload_sha256":"5aba36e9125e776364dad401e1e3642c06343e0a6f8648efced00b5620df3106","canonicalization":"RFC 8785 JSON Canonicalization Scheme. Hash the payload, excluding this envelope. Immutable embedded domain hashes retain their original profile."}