What was already known
Semi-ampleness was known for established deformation classes and under extra positivity assumptions. The general compact Kähler case remained open.
AI involvement
OpenAI is the credited author and says an internal model produced the collection’s research manuscripts. Human task selection and release are documented, but no claim-specific human mathematical repair is disclosed.
OpenAI is credited as author and the repository attributes its manuscripts to an internal model.
Importance
This settles the strong hyperkähler SYZ conjecture in all dimensions and deformation types.
Limitations
No completed check of the semi-ampleness proof or named human explanation was documented. Identifying the base as projective space uses a separate companion theorem.
Technical verification
The repository lists a proof manuscript but no Lean scope document or named completed human check for this specific semi-ampleness theorem was found. Proof availability alone does not establish verification; Reported is the evidence default.
Human understanding
The model-produced introduction describes a torus-rotation and deformation argument, but no human explanation of the central reasoning was documented; Few is the evidence default.
Correction and publication history
If correct, this settles the strong hyperkähler SYZ conjecture in all dimensions and deformation types.
Read this published revision