What was already known
Székelyhidi proposed criteria on compact Kähler manifolds. Lin and Fang–Ma developed the earlier polynomial and cone machinery; the new theorem has projective and uniform numerical hypotheses.
AI involvement
ChatGPT 5.6 Sol generated the initial arguments for the two central lemmas. Chen, Nie and Xu checked and revised them and completed the larger theorem.
The model generated proof arguments for two load-bearing mathematical lemmas; human authors directed, checked and revised them.
Importance
The model-origin arguments provide a central bridge in the projective criterion.
Limitations
The result is not an unrestricted compact-Kähler solution. Chen, Nie and Xu checked and revised the initial arguments and supplied the surrounding theorem deductions.
Technical verification
The authors explicitly report checking the generated §3 arguments and present their revised complete proofs.
Formal checking
Human mathematical checking and revision of ChatGPT-generated arguments, followed by publication of complete proofs
- Checker
- Gao Chen, Sijie Nie and Yulun Xu, paper authors
- Scope
- Section 3 cone-inclusion Lemmas 3.1 and 3.2
- Basis
- Reported by the linked checker
Checking a formal statement does not establish that it matches the original problem.
Human understanding
The authors' checked revisions and §5 use explain both cone inclusions and their role in deriving the projective uniform criterion.
Correction and publication history
The model-origin arguments provide a central bridge in the projective criterion.
Read this published revision