{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-1010.2431","versions":[{"work":{"authors":["Robert L. Miller"],"kind":"research_paper","publication":"published","publication_note":"LMS Journal of Computation and Mathematics 14 (2011), 327–350. This is the scope of that historical paper, not a current unsolved-case list.","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":"Computer-assisted proof PDF · v3","url":"https://arxiv.org/pdf/1010.2431v3","version":"arXiv:1010.2431v3","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-1010.2431@arxiv-v3","source_id":"arxiv-1010.2431","title":"Miller · computer-assisted finite BSD cases","owner":"Robert L. Miller","url":"https://arxiv.org/abs/1010.2431v3","subject_scope":"Miller · computer-assisted finite BSD cases","revision":"arxiv-v3","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":"2011-12-21","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/1010.2431v3","attribution":"Robert L. Miller","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-miller-finite-computations:v1","source_version_id":"arxiv-1010.2431@arxiv-v3","item_id":"Theorem 1.2 and Table 9, v3 PDF pages 2 and 23","url":"https://arxiv.org/abs/1010.2431v3","wording":"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.","wording_kind":"paraphrase","locator":"Theorem 1.2 and Table 9, v3 PDF pages 2 and 23","supersedes":null}],"problems":[{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17}],"selected_version_id":"arxiv-1010.2431@arxiv-v3","available_versions":[{"id":"arxiv-1010.2431@arxiv-v3","revision":"arxiv-v3","observed_on":"2026-10-10","title":"Miller · computer-assisted finite BSD cases","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-17035578a53c4589aba9","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-miller-finite-computations:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Computer-assisted full formula · 16,714 curves","claim":{"id":"claim-bsd-miller-finite-computations","version":2,"slug":"bsd-miller-finite-computations","title":"Computer-assisted full formula · 16,714 curves"},"fragment":"claim-bsd-miller-finite-computations","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-miller-finite-computations:v1:report","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-miller-finite-computations:v1","state":"resolved","source_label":"Computer-assisted full formula · 16,714 curves","scope":"Historical finite-corpus proof. Table 9 exceptions are limitations of this paper, not a statement of current unresolved status.","source_date":"2011-12-21","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/1010.2431v3","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-7ddf52049ce9509b6da7","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-miller-finite-computations:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"Computer-assisted full formulas in a finite corpus","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3db8108d40e09f27a83e","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-miller-finite-computations: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-26b081f68b213df9b359","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-miller-finite-computations:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Computer-assisted full formula · 16,714 curves","claim":{"id":"claim-bsd-miller-finite-computations","version":2,"slug":"bsd-miller-finite-computations","title":"Computer-assisted full formula · 16,714 curves"},"fragment":"claim-bsd-miller-finite-computations","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}