An important open problem is to classify rational points on all
modular curves, or equivalently to classify the possible adelic
Galois images of elliptic curves over Q, as envisioned in Mazur’s
Program B. However, this problem is inherently infinite...
