A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The full Birch–Swinnerton-Dyer formula in Selmer coranks zero and one
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:primes, fractions, patience Levels:3
Category:Number theory Lean version:not yet
Rate this game! 4.7 out of 5 (7,382 votes)

>>> How to Play <<<
The full BSD formula from low Selmer corank. 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 ℚ.

>>> Level Select <<<
released 2026-10-07  |  7 theorems · 45 lemmas · 67 proofs · 49,195 words  |  PLAY LEVEL 1 »  (pdf)
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.
released 2026-10-07  |  4 theorems · 31 lemmas · 45 proofs · 41,615 words  |  PLAY LEVEL 2 »  (pdf)
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.
released 2026-10-06  |  4 theorems · 83 lemmas · 131 proofs · 85,680 words  |  PLAY LEVEL 3 »  (pdf)
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.

More Number theory Games!
A quadratic bound for Jacobsthal's functionThe weak inhomogeneous Duffin–Schaeffer conjecturePatterson’s first moment for cubic Gauss sumsAn asymptotic formula for the number of totients
Erdős’s short Egyptian-fraction conjecture PLAYABLE!Positive lower density of large prime gapsIntegral density on curve character varietiesThe Gaussian moat conjecture PLAYABLE!

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games