Miller · computer-assisted finite BSD cases
LMS Journal of Computation and Mathematics 14 (2011), 327–350. This is the scope of that historical paper, not a current unsolved-case list.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
Miller’s computation-assisted proof establishes full BSD for 16,714 of the 16,725 elliptic curves of analytic rank at most one and conductor <5000 in the paper’s enumeration.
Passage ID: birch-and-swinnerton-dyer-conjecture:bsd-miller-finite-computations:v1
Source item: Theorem 1.2 and Table 9, v3 PDF pages 2 and 23
Source record: arxiv-1010.2431@arxiv-v3
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v17
Source assessment
Proved
Computer-assisted full formula · 16,714 curves
Historical finite-corpus proof. Table 9 exceptions are limitations of this paper, not a statement of current unresolved status.
Source date Dec 21, 2011 · Observed Oct 10, 2026
History
Computer-assisted full formulas in a finite corpus
Question
Birch and Swinnerton-Dyer conjecture
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External evidence linked; no OpenMath execution or independent reproduction is asserted.
Resource revision: arXiv:1010.2431v3
Recorded authorship
Robert L. Miller
The cited work does not report AI involvement; this is not an assertion that no AI was used.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Miller · computer-assisted finite BSD cases
No upstream full text or code is republished by this record.
Source terms ↗