The Birch-Swinnerton-Dyer formula in Selmer corank at most one
For every and prime with : , is finite, and the full BSD leading-term formula holds at every prime, with no hypotheses on reduction, torsion, isogenies, CM or residual representations. By Gross-Zagier-Kolyvagin this covers every curve of analytic rank at most one (curator's reading). The new step is the exact -adic valuation at every odd ; comes from the two-primary companion. With family 006 it gives full BSD for a density-one set of quadratic twists of each curve. It says nothing about analytic rank .
Exact FrontierDelta
Scope and record
Occurred: Sep 24, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: The Birch-Swinnerton-Dyer formula in Selmer corank at most one · BSD formula in Selmer corank at most one
Confidence: Not scored
Registry verification: unreviewed · announcement · partial
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Unreleased internal OpenAI model
Clay Mathematics Institute: Birch and Swinnerton-Dyer conjecture evidence for this event
Companion: The Selmer converse for elliptic curves at every prime evidence for this event
Goldfeld's conjecture entry, an input to this result evidence for this event
The Birch-Swinnerton-Dyer formula in Selmer corank at most one parent of this event
The Birch-Swinnerton-Dyer formula in Selmer corank at most one evidence for this event
Revised edition (October 7, 2026): The Selmer converse for elliptic curves at every prime evidence for this event
Input (family 006): Goldfeld's analytic density conjecture and the 2-converse evidence for this event
VibeMathed record: The Birch-Swinnerton-Dyer formula in Selmer corank at most one evidence for this event
Earlier edition (October 3, 2026) evidence for this event
Revised edition (October 6, 2026): The two-primary Birch-Swinnerton-Dyer formula in Selmer corank at most one evidence for this event
For every and prime with : , is finite, and the full BSD leading-term formula holds at every prime, with no hypotheses on reduction, torsion, isogenies, CM or residual representations. By Gross-Zagier-Kolyvagin this covers every curve of analytic rank at most one (curator's reading). The new step is the exact -adic valuation at every odd ; comes from the two-primary companion. With family 006 it gives full BSD for a density-one set of quadratic twists of each curve. It says nothing about analytic rank . parent of this event
Companion: The two-primary Birch-Swinnerton-Dyer formula in Selmer corank at most one evidence for this event
Revised edition (October 7, 2026): Goldfeld's analytic density conjecture and the 2-converse for elliptic curves evidence for this event
Act on this frontier