OpenAI research collection · 4 manuscripts · Source checked 2026-10-19
Proves the abelian Zilber–Pink conjecture over \overline{\mathbb Q}: every irreducible subvariety has finitely many maximal atypical subvarieties relative to its smallest containing torsion coset. It also proves the full curve case in the Siegel threefold \mathcal A_2 for Hodge-generic curves defined over \overline{\mathbb Q}, without boundary or reduction assumptions.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove the abelian Zilber–Pink conjecture over \overline{\mathbb Q}. Every irreducible subvariety of an abelian variety has only finitely many maximal atypical subvarieties, where atypicality is measured inside its smallest containing torsion coset.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
We prove the E\timesCM component of Zilber–Pink for Hodge-generic algebraic curves in \mathcal A_2 over \overline{\mathbb Q}. Each such curve contains only finitely many points whose abelian surface is isogenous to a product of elliptic curves with at least one factor having complex multiplication.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
We prove the quaternionic-division component of Zilber–Pink for curves in \mathcal A_2 over \overline{\mathbb Q}. A Hodge-generic algebraic curve contains only finitely many points whose full geometric rational endomorphism algebra is an indefinite quaternion division algebra over ℚ. No boundary or reduction hypothesis is…
We prove the quaternionic-division component of Zilber–Pink for curves in \mathcal A_2 over \overline{\mathbb Q}. A Hodge-generic algebraic curve contains only finitely many points whose full geometric rational endomorphism algebra is an indefinite quaternion division algebra over ℚ. No boundary or reduction hypothesis is required.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
We prove that every Hodge-generic algebraic curve in \mathcal A_2 over \overline{\mathbb Q} contains only finitely many points whose abelian surface is isogenous to the square of an elliptic curve without complex multiplication (CM). Combining this result with the companion E\timesCM and quaternionic-division finiteness…
We prove that every Hodge-generic algebraic curve in \mathcal A_2 over \overline{\mathbb Q} contains only finitely many points whose abelian surface is isogenous to the square of an elliptic curve without complex multiplication (CM). Combining this result with the companion E\timesCM and quaternionic-division finiteness theorems, we prove the curve case of Zilber–Pink in \mathcal A_2 over \overline{\mathbb Q}, without a boundary hypothesis.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗