{"schema_version":"source-reader-v1","record":{"source_id":"icarm-curve-273","versions":[{"work":{"authors":["ICARM leaderboard; submitter ranksunbounded"],"kind":"research_project","publication":"project","publication_note":"Public individual curve and rational-point witness record. Verification and AI attribution are not independently established by OpenMath.","ai_role":"unassessed","ai_note":"Secondary reports associate this search with Claude and Anthropic researchers; the cited primary curve record itself does not establish that attribution, so it is not treated as verified company authorship.","artifacts":[{"kind":"dataset","title":"Curve and thirty-point witness","url":"https://elliptic-rank.icarm.cloud/curve/273","version":"record updated 2026-08-20; observed 2026-10-10","assessment":"external_report","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"icarm-curve-273@observed-2026-10-10","source_id":"icarm-curve-273","title":"ICARM · individual high-rank curve record","owner":"ICARM leaderboard; submitter ranksunbounded","url":"https://elliptic-rank.icarm.cloud/curve/273","subject_scope":"ICARM · individual high-rank curve record","revision":"observed-2026-10-10","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":"2026-08-20","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://elliptic-rank.icarm.cloud/curve/273","attribution":"ICARM leaderboard; submitter ranksunbounded","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-high-rank-witness-2026:v1","source_version_id":"icarm-curve-273@observed-2026-10-10","item_id":"Curve #273: a-invariants, rank (lower bound), witness and update date","url":"https://elliptic-rank.icarm.cloud/curve/273","wording":"The primary record supplies a specific elliptic curve over Q and 30 rational-point witnesses, with a reported rank lower bound of 30.","wording_kind":"paraphrase","locator":"Curve #273: a-invariants, rank (lower bound), witness and update date","supersedes":null}],"problems":[{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17}],"selected_version_id":"icarm-curve-273@observed-2026-10-10","available_versions":[{"id":"icarm-curve-273@observed-2026-10-10","revision":"observed-2026-10-10","observed_on":"2026-10-10","title":"ICARM · individual high-rank curve record","publication":"project","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-f2e8ce4c765f488c6e95","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-high-rank-witness-2026:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"activity","title":"2026 · reported rank lower bound 30","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"bsd-high-rank-witness-2026","title":"2026 · reported rank lower bound 30","kind":"computation","source_entry_ids":["birch-and-swinnerton-dyer-conjecture:bsd-high-rank-witness-2026:v1"],"summary":"The primary record supplies a specific elliptic curve over Q and 30 rational-point witnesses, with a reported rank lower bound of 30.","limitation":"A lower bound on algebraic rank does not establish equality with analytic rank or BSD. OpenMath has not reproduced the independence certificate. Secondary claims of exact rank under BSD+GRH cannot be used as evidence proving BSD.","related_claim_ids":[]}},{"id":"source-use-dc21124250e480a31440","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-high-rank-witness-2026: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}],"linked_entries":[],"linked_sources":[]}}