The ampleness conjecture for strictly nef divisors on K-trivial manifolds
Ampleness conjecture. Any strictly nef divisor on XXX is ample.