we-solve (beta)

Math-2426-A1 · revision r1 · on Math-2426

OpenAI claim summary for Math-2426

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status at unsolvedmath.com: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

The selected paper proves finiteness of intersections with special subvarieties of dimension at most one for Hodge-generic curves in $\mathcal A_2$ over $\overline{\mathbb Q}$. This supplies a curve-level pure weight-one Hodge case. The question allows arbitrary mixed variations on smooth quasi-projective bases and also asks a general consequence of dense CM points. Those wider clauses are not asserted by this manuscript.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. Finiteness of Atypical Hodge Subvarieties
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Manuscript 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

Finiteness of Atypical Hodge Subvarieties

OpenAI's claim

OpenAI presents the following claims relevant to this question, with manuscript numbers following paper order in Sources. In manuscript 1 (family 016; 2026-09-24), the asserted result is that non-CM elliptic-square points on Hodge-generic curves in $\mathcal A_2$ are finite, and combining the three endomorphism branches gives the full curve-level Zilber--Pink assertion there.

Mathematical statement of the claimed result

Manuscript 1.
Let $\mathcal A_2$ be the moduli space of principally polarized abelian surfaces over $\overline{\mathbb Q}$, and let $C$ be any nonempty reduced irreducible closed Hodge-generic algebraic curve therein. The complete asserted conclusion is \[ \#\left(C(\overline{\mathbb Q})\cap \bigcup_{\substack{Z\subset\mathcal A_2\ \mathrm{special}\\\dim Z\le1}} Z(\overline{\mathbb Q})\right)<\infty. \] In particular the points whose surface is isogenous to an elliptic square are finite. Two additional assertions give finiteness for surfaces isogenous to $E_1\times E_2$ with a CM factor, and for surfaces having a full rational endomorphism algebra that is quaternionic, a division algebra and indefinite. There are no bounds on CM fields, isogeny degrees, endomorphism orders or polarizations, and no height, boundary or integrality restrictions.

Outline of the argument

For manuscript 1 (family 016; 2026-09-24), two auxiliary markings control bad-center proximity in a five-dimensional orthogonal variation. Common-parameter interpolation gives arithmetic height bounds, and orbit counting handles elliptic squares; classification of special curves then joins this branch to the CM-product and quaternionic branches.

Formal verification

No Lean formalization is listed at this snapshot for manuscript 1 (family 016; 2026-09-24).

This site has not executed the Lean code. Described statement coverage is not an independent proof check.

Status caveat

The manuscripts were produced by an internal OpenAI model. OpenAI cautions that results without formalization can contain mistakes. This site has not independently checked the proofs; the label records the scope of OpenAI's claim.

Sources