A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Goldfeld's conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Color the Plane <<<

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:2
Category:Number theory Lean version:not yet
Rate this game! 4.3 out of 5 (6,760 votes)

>>> How to Play <<<
Goldfeld’s conjecture: densities and mean analytic rank. Proves Goldfeld's conjecture for quadratic twists of every elliptic curve over ℚ: analytic ranks zero and one each have density 1/2, and the mean analytic rank tends to 1/2. Both statements order signed squarefree twist parameters by absolute value.

>>> Level Select <<<
released 2026-10-07  |  12 theorems · 63 lemmas · 95 proofs · 66,700 words  |  PLAY LEVEL 1 »  (pdf)
We prove Goldfeld's analytic density conjecture: for every elliptic curve E over ℚ, the quadratic twists of E with analytic rank zero and one each have density 1/2 among signed squarefree twist parameters ordered by absolute value. We also prove the low-corank 2-converse: if the $2^\infty$-Selmer corank of E is zero or one, then it equals the analytic and Mordell–Weil ranks, and the Tate–Shafarevich group is finite.
released 2026-10-06  |  2 theorems · 16 lemmas · 27 proofs · 15,147 words  |  PLAY LEVEL 2 »  (pdf)
For every elliptic curve over ℚ, we prove that the average analytic rank of its quadratic twists tends to 1/2 when signed squarefree twist parameters are ordered by absolute value. This resolves Goldfeld's mean analytic-rank conjecture in this counting convention.

More Number theory Games!
The Gaussian moat conjecture PLAYABLE!Artin's primitive root conjecture: infinitude for every base HOT!Modularity over imaginary quadratic fieldsUchida's conjecture for open Galois homomorphisms
Milne's rationality conjectureThe full Birch–Swinnerton-Dyer formula in Selmer coranks zero and one HOT!The quasi-Riemann hypothesis PLAYABLE!Hilbert's tenth problem over $\mathbb Q$ HOT!

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