Reading source record observed-2026-10-10. View default cited record →
ICARM · individual high-rank curve record
Public individual curve and rational-point witness record. Verification and AI attribution are not independently established by OpenMath.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The primary record supplies a specific elliptic curve over Q and 30 rational-point witnesses, with a reported rank lower bound of 30.
Passage ID: birch-and-swinnerton-dyer-conjecture:bsd-high-rank-witness-2026:v1
Source item: Curve #273: a-invariants, rank (lower bound), witness and update date
Source record: icarm-curve-273@observed-2026-10-10
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v17
Research activity
2026 · reported rank lower bound 30
The primary record supplies a specific elliptic curve over Q and 30 rational-point witnesses, with a reported rank lower bound of 30.
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.
Question
Birch and Swinnerton-Dyer conjecture
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Dataset
Source-reported evidence
External evidence linked; no OpenMath execution or independent reproduction is asserted.
Resource revision: record updated 2026-08-20; observed 2026-10-10
Recorded authorship
ICARM leaderboard; submitter ranksunbounded
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.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
ICARM · individual high-rank curve record
No upstream full text or code is republished by this record.
Source terms ↗