∑math20

Number theory · Result 002

The full BSD formula from low Selmer corank

3 papers

Proves the full Birch–Swinnerton-Dyer leading-term formula for every elliptic curve over ℚ whose full q-power Selmer group has corank zero or one for some prime q, including finiteness of the Tate–Shafarevich group. With result 006, this gives full BSD for a density-one set of quadratic twists of every elliptic curve over ℚ.

Watch

1

The problem

What is being asked, where it comes from, and why it is hard. No proof needed.

▶Introduction to the problemin preparation
2

The solution proposed by OpenAI

How the paper solves it, step by step.

Full explanation
▶The proposed solutionin preparation

Papers 3

First page of Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank

Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank

OpenAI · October 7, 2026

We prove the full Birch–Swinnerton-Dyer leading-term formula for every elliptic curve over ℚ whose full q-power Selmer group has corank zero or one at some prime q. The analytic and Mordell–Weil ranks equal that corank, and the Tate–Shafarevich group is finite. The formula includes all prime factors and requires no additional hypotheses on reduction, rational torsion, isogenies, complex multiplication, or residual Galois representations.

This version removes an obsolete supporting citation and updates citations to revised manuscripts in this collection; see the previous version.

Read PDF Download Source

Cite
@misc{OAI:Exact-Birch-Swinnerton-Dyer-Formula-from-Low-Selmer-Corank-October-7-2026,
  author = {{OpenAI}},
  title = {{Exact Birch--Swinnerton-Dyer Formula from Low Selmer Corank}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Exact-Birch-Swinnerton-Dyer-Formula-from-Low-Selmer-Corank-October-7-2026/exact-bsd-low-selmer-corank.pdf}{OAI:Exact-Birch-Swinnerton-Dyer-Formula-from-Low-Selmer-Corank-October-7-2026}},
  year = {2026}
}
First page of The Selmer converse for elliptic curves at every prime

The Selmer converse for elliptic curves at every prime

OpenAI · October 7, 2026

We prove the Selmer converse in coranks zero and one for every elliptic curve over ℚ and every prime p: if the full p-power Selmer group has ℤp-corank \(r\in\{0,1\}\), then the analytic and Mordell–Weil ranks both equal r, and the entire Tate–Shafarevich group is finite. As an application at the additive prime 3, we prove that for every prime \(\ell\equiv4,7,8\pmod9\), the cubic \(X^3+Y^3=\ell Z^3\) has analytic and Mordell–Weil rank one and finite Tate–Shafarevich group. In particular, every such ℓ is a sum of two rational cubes.

This version updates a citation to a revised manuscript in this collection; see the previous version.

Read PDF Download Source

Cite
@misc{OAI:The-Selmer-converse-for-elliptic-curves-at-every-prime-October-7-2026,
  author = {{OpenAI}},
  title = {{The Selmer converse for elliptic curves at every prime}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-Selmer-converse-for-elliptic-curves-at-every-prime-October-7-2026/main.pdf}{OAI:The-Selmer-converse-for-elliptic-curves-at-every-prime-October-7-2026}},
  year = {2026}
}
First page of The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one

The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one

OpenAI · October 6, 2026

We prove the two-primary Birch and Swinnerton-Dyer leading-term formula for every elliptic curve over the rationals whose two-power Selmer group has corank at most one. In this range, the algebraic rank, analytic rank, and Selmer corank are equal, and the Tate–Shafarevich group is finite. Combined with the quadratic-twist Selmer distribution, this gives the exact two-primary formula for a density-one set of signed squarefree twists of each fixed curve, ordered by absolute value; the common rank is zero or one, with each value having density one half.

This version updates citations to revised manuscripts in this collection; see the previous version.

Read PDF Download Source

Cite
@misc{OAI:The-two-primary-Birch-Swinnerton-Dyer-formula-in-Selmer-corank-at-most-one-October-6-2026,
  author = {{OpenAI}},
  title = {{The two-primary Birch--Swinnerton-Dyer formula in Selmer corank at most one}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-two-primary-Birch-Swinnerton-Dyer-formula-in-Selmer-corank-at-most-one-October-6-2026/paper.pdf}{OAI:The-two-primary-Birch-Swinnerton-Dyer-formula-in-Selmer-corank-at-most-one-October-6-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.

Connected results