生成式 AI 实质参与构造 Yau–Tian–Donaldson conjecture 反例，作者公开详细 AI provenance

Jihao Liu 构造一个 polarized smooth projective fivefold，证明它 K-polystable 但不存在 constant scalar curvature Kähler metric，从而否定 cscK 版本的 Yau–Tian–Donaldson conjecture。论文摘要明确写明 main result 使用 generative AI 获得，特别包括 GPT-5.6 Sol、Fable 5 与 Danus system，并在 appendix 中提供与 Bin Dong、Guoxiong Gao 合写的 AI-use report。