{"schema_version":"source-reader-v1","record":{"source_id":"clay-wiles-bsd","versions":[{"work":{"authors":["Andrew Wiles"],"kind":"official_description","publication":"published","publication_note":"Official Clay problem description; separates rank equality from its refined formula.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Official description PDF","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","version":"official-description","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"clay-wiles-bsd@official-description","source_id":"clay-wiles-bsd","title":"Wiles · official BSD description","owner":"Andrew Wiles","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","subject_scope":"Wiles · official BSD description","revision":"official-description","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","attribution":"Andrew Wiles","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}],"entries":[{"id":"birch-and-swinnerton-dyer-conjecture:bsd-congruent-number-consequence:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"§1 Early History, PDF page 3: odd squarefree Tunnell criterion","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"For odd positive squarefree n, BSD for y²=x³−n²x would make a finite ternary-quadratic count criterion equivalent to being a congruent number.","wording_kind":"paraphrase","locator":"§1 Early History, PDF page 3: odd squarefree Tunnell criterion","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-finite-points-consequence:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"PDF pages 1–2: Mordell theorem and “In particular” consequence of rank BSD","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"Under BSD rank equality, L(E,1) = 0 exactly when E(Q) is infinite.","wording_kind":"paraphrase","locator":"PDF pages 1–2: Mordell theorem and “In particular” consequence of rank BSD","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"PDF page 2, refinement in Remark 1; standard full-L, total-real-period convention","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"Strong BSD predicts rank equality, finite Sha, and the leading coefficient formula with real period, regulator, Tamagawa factors and torsion.","wording_kind":"paraphrase","locator":"PDF page 2, refinement in Remark 1; standard full-L, total-real-period convention","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-gross-zagier-history:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"§2, PDF pages 3–4; reference [11], Gross–Zagier (1986)","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"The Gross–Zagier height formula links Heegner points to central L-derivatives and supplies a key low-rank input.","wording_kind":"paraphrase","locator":"§2, PDF pages 3–4; reference [11], Gross–Zagier (1986)","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-modularity-history:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"PDF page 4, low-rank synthesis; references [1], [24], [25]","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"General modularity of elliptic curves over Q removes the modularity restriction from the low-analytic-rank rank theorem.","wording_kind":"paraphrase","locator":"PDF page 4, low-rank synthesis; references [1], [24], [25]","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-mordell-weil:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"PDF page 1: Mordell theorem and rank definition","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"E(Q) is isomorphic to Z^r plus a finite torsion group; it is finite exactly when r = 0.","wording_kind":"paraphrase","locator":"PDF page 1: Mordell theorem and rank definition","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-official-rank-description:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"PDF pages 2 and 4, conjecture/refinement and low-rank theorem","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"Wiles distinguishes the rank statement from the refined leading-coefficient formula and records the analytic-rank-zero-or-one theorem.","wording_kind":"paraphrase","locator":"PDF pages 2 and 4, conjecture/refinement and low-rank theorem","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-origin-history:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"§2 Recent History, PDF page 3; reference [4], Notes on elliptic curves II (1965)","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"Computer experiments in the early 1960s motivated the conjecture; Notes on elliptic curves II was published in 1965.","wording_kind":"paraphrase","locator":"§2 Recent History, PDF page 3; reference [4], Notes on elliptic curves II (1965)","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","source_version_id":"clay-wiles-bsd@official-description","item_id":"PDF page 2: rank conjecture; all finite Euler factors restored for the standard L-function","url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","wording":"For every elliptic curve E/Q, rank E(Q) equals ord_{s=1} L(E,s).","wording_kind":"paraphrase","locator":"PDF page 2: rank conjecture; all finite Euler factors restored for the standard L-function","supersedes":null}],"problems":[{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17}],"selected_version_id":"clay-wiles-bsd@official-description","available_versions":[{"id":"clay-wiles-bsd@official-description","revision":"official-description","observed_on":"2026-10-10","title":"Wiles · official BSD description","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-efa028fb0f403b82f83a","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-congruent-number-consequence:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-bsd-congruent-number-consequence","version":2,"slug":"bsd-congruent-number-consequence","title":"BSD would complete the odd squarefree congruent-number criterion"},"fragment":"claim-bsd-congruent-number-consequence","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-congruent-number-consequence:report:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-congruent-number-consequence:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-967b3e2aac2048859c35","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-congruent-number-consequence:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"connection","title":"Rank BSD specialized to E_n would supply the missing sufficient direction of Tunnell’s exact counting criterion.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-cb8be1074e9ac2b3e025","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-congruent-number-consequence:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-942b2380bd56f67e4a14","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-congruent-number-consequence:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"BSD would complete the odd squarefree congruent-number criterion","claim":{"id":"claim-bsd-congruent-number-consequence","version":2,"slug":"bsd-congruent-number-consequence","title":"BSD would complete the odd squarefree congruent-number criterion"},"fragment":"claim-bsd-congruent-number-consequence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f66e993e1a7533ee3ef4","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-finite-points-consequence:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-bsd-finite-points-consequence","version":2,"slug":"bsd-finite-points-consequence","title":"Rank BSD would decide finite versus infinite rational points analytically"},"fragment":"claim-bsd-finite-points-consequence","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-finite-points-consequence:report:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-finite-points-consequence:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-c7e72b6a2818725b4352","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-finite-points-consequence:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c5596f8c34241c5b167d","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-finite-points-consequence:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Rank BSD would decide finite versus infinite rational points analytically","claim":{"id":"claim-bsd-finite-points-consequence","version":2,"slug":"bsd-finite-points-consequence","title":"Rank BSD would decide finite versus infinite rational points analytically"},"fragment":"claim-bsd-finite-points-consequence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-052f0beea88dd1b170e4","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-bsd-full-target","version":3,"slug":"bsd-full-target","title":"the full BSD formula holds for every E/Q"},"fragment":"claim-bsd-full-target","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:report:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","state":"reported_open","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-33c889461b2d5487231f","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-bsd-strong-implies-rank","version":2,"slug":"bsd-strong-implies-rank","title":"Strong BSD implies its rank and finiteness assertions"},"fragment":"claim-bsd-strong-implies-rank","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-strong-implies-rank:report:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-70ff0ca8f1f3af5396c2","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-bsd-sha-finiteness-target","version":2,"slug":"bsd-sha-finiteness-target","title":"Sha is finite for every E/Q"},"fragment":"claim-bsd-sha-finiteness-target","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-sha-finiteness-target:report:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","state":"reported_open","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-9bb17f6605579aeea418","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-bsd-sha-order-consequence","version":2,"slug":"bsd-sha-order-consequence","title":"Strong BSD would determine Sha’s order from the other invariants"},"fragment":"claim-bsd-sha-order-consequence","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-sha-order-consequence:report:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-7c9aa4da51b0ea408dce","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"connection","title":"The full BSD scenario explicitly includes finiteness of the whole Tate–Shafarevich group.","claim":{"id":"claim-bsd-strong-implies-rank","version":2,"slug":"bsd-strong-implies-rank","title":"Strong BSD implies its rank and finiteness assertions"},"fragment":"claim-bsd-strong-implies-rank","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-e704407f3c7d4cd9149f","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"connection","title":"The strong assertion includes the rank statement and additional arithmetic information.","claim":{"id":"claim-bsd-strong-implies-rank","version":2,"slug":"bsd-strong-implies-rank","title":"Strong BSD implies its rank and finiteness assertions"},"fragment":"claim-bsd-strong-implies-rank","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c553fdf9bc335cca80da","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-613bc0f2145f7350b0dd","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"scope","title":"the full BSD formula holds for every E/Q","claim":{"id":"claim-bsd-full-target","version":3,"slug":"bsd-full-target","title":"the full BSD formula holds for every E/Q"},"fragment":"claim-bsd-full-target","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f12b6235968f989e8890","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"scope","title":"Sha is finite for every E/Q","claim":{"id":"claim-bsd-sha-finiteness-target","version":2,"slug":"bsd-sha-finiteness-target","title":"Sha is finite for every E/Q"},"fragment":"claim-bsd-sha-finiteness-target","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4ead2ee06c486dc6d14a","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Sha is finite for every E/Q","claim":{"id":"claim-bsd-sha-finiteness-target","version":2,"slug":"bsd-sha-finiteness-target","title":"Sha is finite for every E/Q"},"fragment":"claim-bsd-sha-finiteness-target","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-814edd143f2cdafac4a3","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"the full BSD formula holds for every E/Q","claim":{"id":"claim-bsd-full-target","version":3,"slug":"bsd-full-target","title":"the full BSD formula holds for every E/Q"},"fragment":"claim-bsd-full-target","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b588f537de04ebcac642","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Strong BSD would determine Sha’s order from the other invariants","claim":{"id":"claim-bsd-sha-order-consequence","version":2,"slug":"bsd-sha-order-consequence","title":"Strong BSD would determine Sha’s order from the other invariants"},"fragment":"claim-bsd-sha-order-consequence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d45123256a09cb20a96c","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-full-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Strong BSD implies its rank and finiteness assertions","claim":{"id":"claim-bsd-strong-implies-rank","version":2,"slug":"bsd-strong-implies-rank","title":"Strong BSD implies its rank and finiteness assertions"},"fragment":"claim-bsd-strong-implies-rank","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4c075afdd6d735300d49","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-gross-zagier-history:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"Heegner points and central derivatives","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-cac2142b0a1cd5365574","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-gross-zagier-history:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f1f359e5bccc0d994383","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-modularity-history:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"The low-analytic-rank theorem applies to all E/Q","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-be52cab0db012fe3c6a9","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-modularity-history:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6204637882208eb18325","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-mordell-weil:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-bsd-mordell-weil","version":2,"slug":"bsd-mordell-weil","title":"Rational points form a finitely generated group"},"fragment":"claim-bsd-mordell-weil","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-mordell-weil:report:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-mordell-weil:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-fd736003c622d4756231","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-mordell-weil:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"Finite generation makes rank a precise invariant","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-383b8a71e8a812ec1c32","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-mordell-weil:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fc490789bf5ae0c74add","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-mordell-weil:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Rational points form a finitely generated group","claim":{"id":"claim-bsd-mordell-weil","version":2,"slug":"bsd-mordell-weil","title":"Rational points form a finitely generated group"},"fragment":"claim-bsd-mordell-weil","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-43d8dd5329075dd5e2ba","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-official-rank-description:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fabb04c4a2ac1e5f12e4","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-official-rank-description:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Rank equality at analytic rank 0 or 1","claim":{"id":"claim-bsd-analytic-rank-at-most-one","version":4,"slug":"bsd-analytic-rank-at-most-one","title":"Rank equality at analytic rank 0 or 1"},"fragment":"claim-bsd-analytic-rank-at-most-one","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6f2694341124b034158b","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-origin-history:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"The published conjecture grows from computer experiments","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-cf0cabbcba8a2b3f764b","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-origin-history:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8f93c8289de34d73bb7e","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-bsd-rank-target","version":3,"slug":"bsd-rank-target","title":"BSD rank equality holds for every E/Q"},"fragment":"claim-bsd-rank-target","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:report:v1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","state":"reported_open","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-73b4ae4449a4a051caf1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"connection","title":"Rank BSD specialized to E_n would supply the missing sufficient direction of Tunnell’s exact counting criterion.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b833a67c7cf9550e7325","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"definition","title":"Rank","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-506f6cb3d2dc7ec8f2e0","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-71b4b4cf5c55cfd146c1","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"reading","title":"Read the setting and notation before comparing the results.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-64dec574b0b11a3c2968","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"scope","title":"BSD rank equality holds for every E/Q","claim":{"id":"claim-bsd-rank-target","version":3,"slug":"bsd-rank-target","title":"BSD rank equality holds for every E/Q"},"fragment":"claim-bsd-rank-target","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-de8ad1d46d3d6820a967","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-target:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"BSD rank equality holds for every E/Q","claim":{"id":"claim-bsd-rank-target","version":3,"slug":"bsd-rank-target","title":"BSD rank equality holds for every E/Q"},"fragment":"claim-bsd-rank-target","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}