arXiv 论文以解析方法重证 OpenAI 数学手稿中的定理

arXiv 论文《Human Variations on AI Mathematics》针对 OpenAI 两份数学手稿《Minimal metrics and interior injectivity for nef adjoints》和《Log abundance in characteristic zero》展开研究。作者建立了一个关于极小奇点度量的 jet 比较结果，并用它证明了 dlt 型延拓定理。结合后一份手稿中的几何论证，论文给出了其定理 3.1 的另一种解析证明。