Sato–Tate Conjecture
Definition
A statement about the statistical distribution of normalized Frobenius angles (or normalized local coefficients) attached to a family of arithmetic objects (such as elliptic curves or motives): for many non-CM elliptic curves over Q the angles are equidistributed with respect to a specific measure (the Sato–Tate measure), linking arithmetic to random-matrix-type distributions.