arXiv 论文以解析方法重证 OpenAI 数学手稿中的定理
Human Variations on AI Mathematics
有人给 OpenAI 那两份数学手稿写了篇论文，用解析方法换了个路子证明了其中的定理 3.1，数学向的朋友可以看看。
arXiv 论文《Human Variations on AI Mathematics》针对 OpenAI 两份数学手稿《Minimal metrics and interior injectivity for nef adjoints》和《Log abundance in characteristic zero》展开研究。作者建立了一个关于极小奇点度量的 jet 比较结果，并用它证明了 dlt 型延拓定理。结合后一份手稿中的几何论证，论文给出了其定理 3.1 的另一种解析证明。
Human Variations on AI Mathematics
This article is motivated by the OpenAI manuscripts "Minimal metrics and interior injectivity for nef adjoints" and "Log abundance in characteristic zero". We establish a jet comparison for metrics with minimal singularities and use it to prove a dlt-type extension theorem. Combined with geometric arguments from the latter manuscript, this yields an alternative analytic proof of its Theorem~3.1.
