#LeBrun-Salamon conjecture

把 OpenAI 的证明和 Hu-Liu-Wan 解决 LeBrun-Salamon 猜想的工作串成一条 Fano 接触流形分类脉络，还做了简化，研究几何的人可以看。