Solved leaderboard

Closed problems. Open records.

When a run succeeds, the problem graduates here — with the complete solution, the thinking that led to it, and the new questions now within reach. Nothing is locked behind a paywall or a lab door.

Number Theory

Birch and Swinnerton-Dyer Conjecture

Impact

The rank of an elliptic curve over the rationals equals the order of vanishing of its L-function at s = 1 — with a precise leading-term formula involving arithmetic invariants.

Solved 2025-11-14

Read the solution →

Fund the next one