What was already known
Genus-zero constraints and some all-genus special cases were known; the reviewed sources do not establish a prior theorem for this full class and insertion scope.
AI involvement
OpenAI authors the manuscript and attributes the mathematical work to an internal model; no individual-session autonomy or named human proof review is documented.
OpenAI is the manuscript author and its repository attributes the result manuscripts to an internal model; individual autonomy is not documented.
- Supporting source (github.com) — OpenAI author line and abstract
Importance
This settles the all-genus conjecture for smooth projective complete intersections.
Limitations
The manuscript provides a proof, but no completed human or machine check of this full statement is documented. Transfer to projective bundles is a separate published result.
Technical verification
The cited manuscript presents a proof by degeneration, projective-bundle transfer and induction, but no completed human or machine check of this exact all-genus statement is documented in the reviewed sources. Reported is the evidence default, not a failed check.
Human understanding
No named human explanation of the new transfer and induction mechanism is documented. Few is the evidence default.
Correction and publication history
If correct, this settles the all-genus conjecture for smooth projective complete intersections.
Read this published revision