What was already known
Daw and Orr obtained the curve conclusion with a zero-dimensional boundary condition; other results covered restricted degeneration or fiber cases.
AI involvement
OpenAI is credited as author of the branch manuscripts. The sources do not identify a human checker or explain the division of individual proof steps.
The three branch manuscripts credit OpenAI as author, supporting AI-led work; the finer division of human and model work is undocumented.
Importance
The three branches remove the boundary restriction for the full Hodge-generic curve case in A₂.
Limitations
The combined theorem depends on all three branch proofs; no completed named human or machine check was documented. A fourth abelian-variety torsion-coset theorem is a different claim.
Technical verification
The four manuscripts state detailed proofs and dependencies, but no completed named human review, proof-assistant formalization or exact certificate check of the combined A_2 theorem was located. Reported is the evidence default, not a finding of failure.
Human understanding
No identified person independently explains the new mixed, quaternionic and elliptic-square mechanisms or their combined proof. Few is the documentation default.
Correction and publication history
If correct, the three branches remove the boundary restriction for the full Hodge-generic curve case in A₂.
Read this published revision