Modularity over imaginary quadratic fields at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Modularity over imaginary quadratic fields

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

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

>>> How to Play <<<

Modularity of elliptic curves over imaginary quadratic fields. Proves the modularity conjecture for elliptic curves over imaginary quadratic fields: every elliptic curve over every imaginary quadratic field is modular, with matching local parameters at every place.

>>> Level Select <<<

LEVEL 1 Modularity of elliptic curves over imaginary quadratic fields

released 2026-10-04 | 5 theorems · 15 lemmas · 26 proofs · 15,295 words | PLAY LEVEL 1 » (pdf)

We prove the modularity conjecture for elliptic curves over imaginary quadratic fields: every such curve is modular, with matching local parameters at every place.

More Number theory Games!
Torus-packet equidistribution in prime, quartic, and sextic degrees	Zilber–Pink in abelian varieties and the Siegel threefold	The irrationality exponent of $\pi$ is $2$ HOT!	The Margulis–Platonov conjecture over global fields
The $p$-adic section conjecture	Squarefree quartics and power-free polynomial values	A quadratic bound for Jacobsthal's function	The weak inhomogeneous Duffin–Schaeffer conjecture

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

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

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600