Claude 辅助给出 Liu 四维 Fano 指数猜想反例：1389 的 Calabi–Yau / log-canonical 构造

Deep Bhattacharjee 与 Ushashi Bhattacharya 于 10 月 22 日公布四维代数几何的反例主张：1389 可作为 terminal Calabi–Yau 四维簇及四维 log-canonical 奇点的指数，但不是任意四维 canonical 加权射影空间的 Fano 指数，因而违背 Liu 的相关猜想。研究者说明 Claude Code 完成搜索、程序、Lean 4 证明和初稿，两名人类作者最终审阅。公开 release 包含程序和形式化材料；某个参考资料中的 Zenodo DOI 占位符不应当被当成已核验的真实存档链接。本轮未独立重跑 Lean 或确认正式同行评议。