{"schema_version":"source-reader-v1","record":{"source_id":"kent-bsd-project","versions":[{"work":{"authors":["Owen Kent (repository owner: owenpkent)"],"kind":"research_project","publication":"project","publication_note":"Individual project documentation and code; no accepted proof of BSD is asserted by this curation. Repository-owner name follows the public GitHub profile; no institutional authorship is inferred.","ai_role":"self_reported","ai_note":"README calls the program AI-augmented and contains Claude agent specifications. A precise model version and independently assessed division of labor are not supplied.","artifacts":[{"kind":"project_notes","title":"Project phase and limitations","url":"https://github.com/owenpkent/birch-swinnerton-dyer/blob/0e9519aaeb5c8b8c524f95925eecb970d86bc5b1/PHASE_STATE.md","version":"0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","assessment":"external_report","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."},{"kind":"code","title":"Computational experiments","url":"https://github.com/owenpkent/birch-swinnerton-dyer/tree/0e9519aaeb5c8b8c524f95925eecb970d86bc5b1/experiments","version":"0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","assessment":"not_executed","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."},{"kind":"formal_code","title":"Lean rank-equality targets","url":"https://github.com/owenpkent/birch-swinnerton-dyer/blob/0e9519aaeb5c8b8c524f95925eecb970d86bc5b1/lean/BSD/RankEquality.lean","version":"0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","assessment":"placeholder","note":"The inspected weakBSD and low-rank theorem bodies contain sorry. This is a target skeleton, not a completed formal proof."}]},"id":"kent-bsd-project@0e9519aaeb5c8b8c524f95925eecb970d86bc5b1-metadata-2026-10-10","source_id":"kent-bsd-project","title":"Kent · AI-augmented BSD research substrate","owner":"Owen P. Kent (repository owner)","url":"https://github.com/owenpkent/birch-swinnerton-dyer/tree/0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","subject_scope":"Kent · AI-augmented BSD research substrate","revision":"0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","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-06-14","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://github.com/owenpkent/birch-swinnerton-dyer/tree/0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","attribution":"Owen P. Kent (repository owner)","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-ai-project-kent:v2","source_version_id":"kent-bsd-project@0e9519aaeb5c8b8c524f95925eecb970d86bc5b1-metadata-2026-10-10","item_id":"Pinned README, PHASE_STATE.md and lean/BSD/RankEquality.lean","url":"https://github.com/owenpkent/birch-swinnerton-dyer/tree/0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","wording":"This individual AI-augmented research project reports numerical experiments and proof-search scaffolding. Its phase record states that Lean verification has not started; RankEquality.lean contains sorry targets.","wording_kind":"paraphrase","locator":"Pinned README, PHASE_STATE.md and lean/BSD/RankEquality.lean","supersedes":null}],"problems":[{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17}],"selected_version_id":"kent-bsd-project@0e9519aaeb5c8b8c524f95925eecb970d86bc5b1-metadata-2026-10-10","available_versions":[{"id":"kent-bsd-project@0e9519aaeb5c8b8c524f95925eecb970d86bc5b1-metadata-2026-10-10","revision":"0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","observed_on":"2026-10-10","title":"Kent · AI-augmented BSD research substrate","publication":"project","content_sha256":null,"used_in_current_publications":true},{"id":"kent-bsd-project@0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","revision":"0e9519aaeb5c8b8c524f95925eecb970d86bc5b1","observed_on":"2026-10-10","title":"Kent · AI-augmented BSD research substrate","publication":"project","content_sha256":null,"used_in_current_publications":false}],"usages":[{"id":"source-use-0171a829adfa0f0c2b22","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-ai-project-kent:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"activity","title":"AI-assisted exploration · code and Lean targets","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"bsd-ai-project-kent","title":"AI-assisted exploration · code and Lean targets","kind":"formalization","source_entry_ids":["birch-and-swinnerton-dyer-conjecture:bsd-ai-project-kent:v2"],"summary":"This individual AI-augmented research project reports numerical experiments and proof-search scaffolding. Its phase record states that Lean verification has not started; RankEquality.lean contains sorry targets.","limitation":"No new BSD theorem, complete formal proof or OpenMath-verified execution is established by this project citation. Its rank-two regulator identity remains conjectural in the project’s own notes.","related_claim_ids":["claim-bsd-analytic-rank-at-most-one"]}},{"id":"source-use-6e271faa0857d55ecd61","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-ai-project-kent:v2","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":[]}}