Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The author resolves Conjecture 1.6 of Furio and Lombardo, achieving the complete classification of $7$-adic Galois images for non-CM elliptic curves over $\mathbb{Q}$. Determining these image groups has long been a core bottleneck in arithmetic geometry, requiring explicit analysis of modular curves and their rational points. Crucially, the full formal proof was unlocked not through large human collaboration, but via a solo mathematician's intensive three-month AI training regimen.
A long-standing conjecture in arithmetic geometry has fallen to a solo researcher using a targeted AI-training loop, completely classifying $7$-adic Galois images for non-CM elliptic curves over $\mathbb{Q}$.
We solve Conjecture 1.6 of Furio and Lombardo [On $7$-adic Galois representations for elliptic curves over $\Q$, Proc.\ London Math.\ Soc.\ (3) \textbf{133} (2026), e70193.]. As a consequence, we complete the classification of $7$-adic Galois images for non-CM elliptic curves over $\Q$. The proof is the result of a long AI-training period by the author from June 2026 to September 2026. The author has been working on this project alone without the help of any other.