Let $S$ be a complex surface of general type. Are there infinitely many smooth rational curves on $S$? And more general, what if $V$ is a variety of general type?