paper

A question on klt type varieties of Han and Jiang

arXiv:2605.22250

Abstract

We prove that being of klt type is not an open condition in flat families of varieties. This answers a question of Han and Jiang. The construction in this paper substantially uses generative AI: the general idea for the counterexample was suggested by ChatGPT Pro 5.5, and the explicit example was found and proved by the Rethlas system.

arXiv comment4 pages. AI generated, human verified