OpenAI reports the abelian Zilber–Pink conjecture
- Mathematics
For every irreducible subvariety X of an abelian variety over a number field, there are only finitely many maximal atypical subvarieties of X relative to its smallest containing torsion coset.