OpenAI reports canonical ampleness for compact hyperbolic Kähler manifolds
- Mathematics
Every positive-dimensional compact connected Kähler manifold with no nonconstant holomorphic map from the complex line has ample canonical bundle and is projective.